diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index a05d8f64f4..6a060de2fc 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -373,6 +373,7 @@ EOF | |||
373 | if [ -z "$ARG_THREAD_SUPPORT" ] || [ "$ARG_THREAD_SUPPORT" = "0" ]; then | 373 | if [ -z "$ARG_THREAD_SUPPORT" ] || [ "$ARG_THREAD_SUPPORT" = "0" ]; then |
374 | if [ "$sigaltstack" = "0" ]; then | 374 | if [ "$sigaltstack" = "0" ]; then |
375 | thread_support="HAVE_SIGALTSTACK_THREADS" | 375 | thread_support="HAVE_SIGALTSTACK_THREADS" |
376 | LDOPTS="$LDOPTS -lpthread" # pthread needed | ||
376 | echo "Selected sigaltstack threads" | 377 | echo "Selected sigaltstack threads" |
377 | elif [ "$fibers" = "0" ]; then | 378 | elif [ "$fibers" = "0" ]; then |
378 | thread_support="HAVE_WIN32_FIBER_THREADS" | 379 | thread_support="HAVE_WIN32_FIBER_THREADS" |