1 files changed, 10 insertions, 8 deletions
diff --git a/configure b/configure
index bab1de691a..511f473b81 100755
--- a/configure
+++ b/configure
@@ -337,14 +337,16 @@ case "$bytecc,$host" in
   gcc*,*-*-cygwin*)
     bytecccompopts="-fno-defer-pop $gcc_warnings -U_WIN32"
     dllccompopts="-D_WIN32 -DCAML_DLL"
-    flexlink="flexlink -chain cygwin -merge-manifest"
-    flexdir=`$flexlink -where | dos2unix`
-    if test -z "$flexdir"; then
-      echo "flexlink not found: native shared libraries won't be available"
-      withsharedlibs=no
-    else
-      iflexdir="-I\"$flexdir\""
-      mkexe="$flexlink -exe"
+    if test $withsharedlibs = yes; then
+      flexlink="flexlink -chain cygwin -merge-manifest"
+      flexdir=`$flexlink -where | dos2unix`
+      if test -z "$flexdir"; then
+        echo "flexlink not found: native shared libraries won't be available"
+        withsharedlibs=no
+      else
+        iflexdir="-I\"$flexdir\""
+        mkexe="$flexlink -exe"
+      fi
     fi
     exe=".exe"
     ostype="Cygwin";;