diff options
Diffstat (limited to 'configure.ac.pamphlet')
| -rw-r--r-- | configure.ac.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 73e82a62..e45b45ae 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -436,7 +436,7 @@ AC_ARG_ENABLE([checking], [ --enable-checking turn runtime checking on], yes|no) axiom_enable_checking=$enableval ;; *) AC_MSG_ERROR([erroneous value for --enable-checking]) ;; esac]) -if test x"axiom_enable_checking" = xyes; then +if test x"$axiom_enable_checking" = xyes; then axiom_optimize_options="$axiom_optimize_options safety" AC_MSG_NOTICE([runtime checking may increase compilation time]) fi |