diff options
Diffstat (limited to 'unix/configure')
| -rwxr-xr-x | unix/configure | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/unix/configure b/unix/configure index 068503c..8a1891c 100755 --- a/unix/configure +++ b/unix/configure @@ -5038,7 +5038,7 @@ fi if test "$GCC" = yes; then : CFLAGS_OPTIMIZE=-O2 - CFLAGS_WARNING="-Wall -Wsign-compare -Wdeclaration-after-statement" + CFLAGS_WARNING="-Wall -Wwrite-strings -Wsign-compare -Wdeclaration-after-statement" else @@ -6910,9 +6910,6 @@ $as_echo "enabled $tcl_ok debugging" >&6; } -$as_echo "#define TCL_TOMMATH 1" >>confdefs.h - - $as_echo "#define MP_PREC 4" >>confdefs.h |