diff options
| -rwxr-xr-x | configure | 9 | ||||
| -rw-r--r-- | configure.in | 7 |
2 files changed, 13 insertions, 3 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Revision: 1.311 . +# From configure.in Revision: 1.313 . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.53. # @@ -3070,7 +3070,12 @@ fi; if test -z "$enable_shared" then - enable_shared="no" + case $ac_sys_system in + CYGWIN*) + enable_shared="yes";; + *) + enable_shared="no";; + esac fi echo "$as_me:$LINENO: result: $enable_shared" >&5 echo "${ECHO_T}$enable_shared" >&6 diff --git a/configure.in b/configure.in index fb322f2..baad80f 100644 --- a/configure.in +++ b/configure.in @@ -337,7 +337,12 @@ AC_ARG_ENABLE(shared, if test -z "$enable_shared" then - enable_shared="no" + case $ac_sys_system in + CYGWIN*) + enable_shared="yes";; + *) + enable_shared="no";; + esac fi AC_MSG_RESULT($enable_shared) |