diff options
Diffstat (limited to 'tools')
| -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" |