diff options
Diffstat (limited to 'boehm-gc/configure')
| -rwxr-xr-x | boehm-gc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boehm-gc/configure b/boehm-gc/configure index 66bb3e7f06a..632a229cdf2 100755 --- a/boehm-gc/configure +++ b/boehm-gc/configure @@ -14712,7 +14712,7 @@ case "$THREADS" in no | none | single) THREADS=none ;; - posix | posix95 | pthreads) + posix | pthreads) THREADS=posix THREADLIBS=-lpthread case "$host" in |