diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-02-22 19:22:56 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-02-22 19:22:56 +0000 |
| commit | c96d62d41a178e0f524c39a0f73da9b7730dcf0b (patch) | |
| tree | 593a1e9f62cc9605ac374df1203e85e437d424d9 /config | |
| parent | 9ae657c4568114eb888d9c0b8c27c09586556ff3 (diff) | |
undoing improperly-committed revision 232; will re-commit to get "svn blame" correct, etc..
Diffstat (limited to 'config')
| -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 |