diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/cvc4.m4 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 42dfaead5..1cde462b5 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -18,7 +18,8 @@ for ac_option do case $ac_option in -*|*=*) ;; - *) ac_cvc4_build_profile_set=yes + production|debug|default|competition) + ac_cvc4_build_profile_set=yes AC_MSG_NOTICE([CVC4: building profile $ac_option]) ac_option="--with-build=$ac_option" ;; esac |