diff options
Diffstat (limited to 'unix/configure')
| -rwxr-xr-x | unix/configure | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/unix/configure b/unix/configure index e999455..baea1f1 100755 --- a/unix/configure +++ b/unix/configure @@ -6857,9 +6857,6 @@ $as_echo "enabled $tcl_ok debugging" >&6; } -$as_echo "#define TCL_TOMMATH 1" >>confdefs.h - - $as_echo "#define MP_PREC 4" >>confdefs.h |