diff options
Diffstat (limited to 'tools/klee/main.cpp')
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 1ab809aa..f68e3b27 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1158,7 +1158,11 @@ linkWithUclibc(StringRef libDir, std::string opt_suffix, int main(int argc, char **argv, char **envp) { atexit(llvm_shutdown); // Call llvm_shutdown() on exit. +#if LLVM_VERSION_CODE >= LLVM_VERSION(13, 0) + KCommandLine::HideOptions(llvm::cl::getGeneralCategory()); +#else KCommandLine::HideOptions(llvm::cl::GeneralCategory); +#endif llvm::InitializeNativeTarget(); |