diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-10-04 19:37:11 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-10-04 19:37:11 +0000 |
| commit | 2f6fcff554faef854a6fc48eb44c4feb3e7125b0 (patch) | |
| tree | 19e82d74709c50bc0643553711ce8ceb83e8d215 /klee/configure | |
| parent | b0f189f26fc5cd77829117cdfbd1cb0be9255ab3 (diff) | |
Regenerate.
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 |