Regenerate.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115197 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 11 insertions, 1 deletions

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; }