diff options
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 898e8f506..1ffd855a9 100755 --- a/autogen.sh +++ b/autogen.sh @@ -55,7 +55,12 @@ if [ X"$@" = X -a "X`uname -s`" = "XLinux" ]; then mandir=/usr/man infodir=/usr/info fi - ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var --infodir=${infodir} --mandir=${mandir} "$@" + if [ -d /usr/lib/nptl ]; then + enable_posixmutexes="--enable-posixmutexes" + else + enable_posixmutexes= + fi + ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var --infodir=${infodir} --mandir=${mandir} ${enable_posixmutexes} "$@" else ./configure "$@" fi |