diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 0 insertions, 1 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@ |