aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index abd38dd..fc664fc 100755
--- a/configure
+++ b/configure
@@ -1302,7 +1302,7 @@ for pthread_lib in $PTHREADLIBS_LIST; do
fi
done
-if test "$pthread" = no; then
+if test "$mingw32" != yes -a "$pthread" = no; then
echo
echo "Error: pthread check failed"
echo "Make sure to have the pthread libs and headers installed."