diff options
| -rw-r--r-- | include/llvm/Support/CommandLine.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/include/llvm/Support/CommandLine.h b/include/llvm/Support/CommandLine.h index 8af6b2adbf..662c935c44 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; } |