diff options
Diffstat (limited to 'unix/configure')
-rwxr-xr-x | unix/configure | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/unix/configure b/unix/configure index 43e9d1a..a6fee9e 100755 --- a/unix/configure +++ b/unix/configure @@ -4492,14 +4492,6 @@ if test "${enable_shared+set}" = set; then else tcl_ok=yes fi; - - if test "${enable_shared+set}" = set; then - enableval="$enable_shared" - tcl_ok=$enableval - else - tcl_ok=yes - fi - if test "$tcl_ok" = "yes" ; then echo "$as_me:$LINENO: result: shared" >&5 echo "${ECHO_T}shared" >&6 |