diff options
Diffstat (limited to 'config/cvc4.m4')
| -rw-r--r-- | config/cvc4.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 1926fa54a..661631b4d 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -18,7 +18,7 @@ do case $ac_option in -*|*=*) ;; *) ac_cvc4_build_profile_set=yes - AC_MSG_WARN([building profile $ac_option]) + AC_MSG_NOTICE([CVC4: building profile $ac_option]) ac_option="--with-build=$ac_option" ;; esac eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"$ac_option\""' |