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 b3ef2e7ea6a..ebf3bdd2f1a 100755 --- a/boehm-gc/configure +++ b/boehm-gc/configure @@ -5306,7 +5306,7 @@ case "$THREADS" in no | none | single) THREADS=none ;; - posix | pthreads) + posix | posix95 | pthreads) THREADS=posix THREADLIBS=-lpthread case "$host" in |
