diff options
Diffstat (limited to 'win/configure')
-rwxr-xr-x | win/configure | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/win/configure b/win/configure index 048dbf0..58563bc 100755 --- a/win/configure +++ b/win/configure @@ -3090,14 +3090,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 |