diff --git a/configure b/configure index 36ffcf0a83..8bd9957eb0 100755 --- a/configure +++ b/configure @@ -847,6 +847,35 @@ else logfile=/dev/null fi +if test "$mingw32" = "yes" -o "$mingwce" = "yes"; then + if test "$lshared" = "yes" && test "$lstatic" = "yes" ; then + cat <