diff options
Diffstat (limited to 'klee/configure')
-rwxr-xr-x | klee/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/klee/configure b/klee/configure index 20fa904693a..353649f3c8c 100755 --- a/klee/configure +++ b/klee/configure @@ -2173,8 +2173,8 @@ if test X"${withval}" = Xdefault; then fi if !(test $llvm_version_major == 2 && - test $llvm_version_minor -lt 8 && - test "$with_runtime" == "Release"); then + test $llvm_version_minor -lt 8) && + test "$with_runtime" == "Release"; then with_runtime=Release+Asserts fi |