diff --git a/configure b/configure index abd38ddf9e..fc664fc0a9 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."