diff options
| author | Dylan Noblesmith <nobled@dreamwidth.org> | 2010-10-04 16:29:20 +0000 |
|---|---|---|
| committer | Dylan Noblesmith <nobled@dreamwidth.org> | 2010-10-04 16:29:20 +0000 |
| commit | e1aba0af31cc5f2cceeec7a4617b5db8ae95e90b (patch) | |
| tree | fb9e4d07a942a52d313b1b4e2fb75e4eec9a91dc | |
| parent | e11fbbc8106836f8e0536030f0cca6b660dd2144 (diff) | |
| download | klee-e1aba0af31cc5f2cceeec7a4617b5db8ae95e90b.tar.gz | |
Fix the Release+Asserts build-type-overwrite logic,
and document it. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115513 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | autoconf/configure.ac | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 83d9e71c..4b2fc948 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -223,9 +223,11 @@ if test X"${withval}" = Xdefault; then with_runtime=Release fi +dnl Before LLVM 2.8, the "optimized with asserts enabled" build was just +dnl 'Release'; now it's 'Release+Asserts'. See the LLVM 2.8 release notes. 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 |