From ae6b58bba9c18954c6156223eb3df810fcf0dbbd Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Thu, 5 Aug 2010 17:53:03 +0000
Subject: Add support for Debug+Asserts configuration

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@110349 91177308-0d34-0410-b5e6-96231b3b80d8
---
 autoconf/configure.ac | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'autoconf')

diff --git a/autoconf/configure.ac b/autoconf/configure.ac
index 015c4f44..3be97790 100644
--- a/autoconf/configure.ac
+++ b/autoconf/configure.ac
@@ -231,6 +231,9 @@ if test X${with_runtime} = XRelease; then
 elif test X${with_runtime} = XDebug; then
    AC_MSG_RESULT([Debug])
    AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]])
+elif test X${with_runtime} = XDebug+Asserts; then
+   AC_MSG_RESULT([Debug+Asserts])
+   AC_SUBST(RUNTIME_ENABLE_OPTIMIZED,[[0]])
 else
    AC_MSG_ERROR([invalid configuration: ${with_runtime}])
 fi
-- 
cgit 1.4.1