From e1aba0af31cc5f2cceeec7a4617b5db8ae95e90b Mon Sep 17 00:00:00 2001
From: Dylan Noblesmith <nobled@dreamwidth.org>
Date: Mon, 4 Oct 2010 16:29:20 +0000
Subject: 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
---
 autoconf/configure.ac | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'autoconf')

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
 
-- 
cgit 1.4.1