diff --git a/include/llvm/Support/CommandLine.h b/include/llvm/Support/CommandLine.h index 8af6b2adbf7..662c935c441 100644 --- a/include/llvm/Support/CommandLine.h +++ b/include/llvm/Support/CommandLine.h @@ -198,11 +198,7 @@ public: void setValueStr(const char *S) { ValueStr = S; } void setFlag(unsigned Flag, unsigned FlagMask) { - if (Flags & FlagMask) { - error(": Specified two settings for the same option!"); - exit(1); - } - + Flags &= ~FlagMask; Flags |= Flag; }