diff options
| -rw-r--r-- | Makefile.config.in | 1 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 10 |
2 files changed, 1 insertions, 10 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index fb8dbdb2..dc8bb872 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -36,7 +36,6 @@ ENABLE_METASMT := @ENABLE_METASMT@ METASMT_ROOT := @METASMT_ROOT@ ENABLE_POSIX_RUNTIME := @ENABLE_POSIX_RUNTIME@ -ENABLE_STPLOG := @ENABLE_STPLOG@ ENABLE_UCLIBC := @ENABLE_UCLIBC@ KLEE_UCLIBC_BCA := @KLEE_UCLIBC_BCA@ diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index dc9cacc1..2cb9537b 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -619,10 +619,6 @@ std::string KleeHandler::getRunTimeLibraryPath(const char *argv0) { //===----------------------------------------------------------------------===// // main Driver function // -#if ENABLE_STPLOG == 1 -extern "C" void STPLOG_init(const char *); -#endif - static std::string strip(std::string &in) { unsigned len = in.size(); unsigned lead = 0, trail = len; @@ -1145,11 +1141,7 @@ static llvm::Module *linkWithUclibc(llvm::Module *mainModule, StringRef libDir) } #endif -int main(int argc, char **argv, char **envp) { -#if ENABLE_STPLOG == 1 - STPLOG_init("stplog.c"); -#endif - +int main(int argc, char **argv, char **envp) { atexit(llvm_shutdown); // Call llvm_shutdown() on exit. llvm::InitializeNativeTarget(); |