From c96d62d41a178e0f524c39a0f73da9b7730dcf0b Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Feb 2010 19:22:56 +0000
Subject: undoing improperly-committed revision 232; will re-commit to get "svn
 blame" correct, etc..

---
 config/cvc4.m4 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'config/cvc4.m4')

diff --git a/config/cvc4.m4 b/config/cvc4.m4
index 1cde462b5..42dfaead5 100644
--- a/config/cvc4.m4
+++ b/config/cvc4.m4
@@ -18,8 +18,7 @@ for ac_option
 do
   case $ac_option in
     -*|*=*) ;;
-    production|debug|default|competition)
-       ac_cvc4_build_profile_set=yes
+    *) ac_cvc4_build_profile_set=yes
        AC_MSG_NOTICE([CVC4: building profile $ac_option])
        ac_option="--with-build=$ac_option" ;;
   esac
-- 
cgit v1.2.3