diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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." |