diff options
Diffstat (limited to 'config/cvc4.m4')
-rw-r--r-- | config/cvc4.m4 | 3 |
1 files changed, 1 insertions, 2 deletions
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 |