From 4ba56583e02740f50c642dcac1a70db06bd5f111 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 30 Sep 2010 20:20:41 +0000
Subject: Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115197 91177308-0d34-0410-b5e6-96231b3b80d8
---
 configure | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index 73264954..20fa9046 100755
--- a/configure
+++ b/configure
@@ -2168,11 +2168,16 @@ else
   withval=default
 fi
 
-
 if test X"${withval}" = Xdefault; then
    with_runtime=Release
 fi
 
+if !(test $llvm_version_major == 2 &&
+    test $llvm_version_minor -lt 8 &&
+    test "$with_runtime" == "Release"); then
+  with_runtime=Release+Asserts
+fi
+
 { echo "$as_me:$LINENO: checking runtime configuration" >&5
 echo $ECHO_N "checking runtime configuration... $ECHO_C" >&6; }
 if test X${with_runtime} = XRelease; then
@@ -2180,6 +2185,11 @@ if test X${with_runtime} = XRelease; then
 echo "${ECHO_T}Release" >&6; }
     RUNTIME_ENABLE_OPTIMIZED=1
 
+elif test X${with_runtime} = XRelease+Asserts; then
+    { echo "$as_me:$LINENO: result: Release+Asserts" >&5
+echo "${ECHO_T}Release+Asserts" >&6; }
+    RUNTIME_ENABLE_OPTIMIZED=1
+
 elif test X${with_runtime} = XDebug; then
    { echo "$as_me:$LINENO: result: Debug" >&5
 echo "${ECHO_T}Debug" >&6; }
-- 
cgit 1.4.1