add ZeroORMore option oto debug cl::opt

runtimeverification · Sep 29, 2023 · f06339f · f06339f
1 parent 6fcdc56
commit f06339f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/tools/llvm-kompile-codegen/main.cpp b/tools/llvm-kompile-codegen/main.cpp
@@ -50,8 +50,9 @@ cl::opt<std::string> DecisionTree(
 cl::opt<std::string> Directory(
     cl::Positional, cl::desc("<dir>"), cl::Required, cl::cat(CodegenCat));
 
-cl::opt<bool>
-    Debug("debug", cl::desc("Enable debug information"), cl::cat(CodegenCat));
+cl::opt<bool> Debug(
+  "debug", cl::desc("Enable debug information"), cl::ZeroOrMore,
+  cl::cat(CodegenCat));
 
 cl::opt<bool> NoOptimize(
     "no-optimize",