diff --git a/configure b/configure index e818e8b357e65ab2b6c6cd7b6cbb08e975c687c4..a9ff4ad882837a67e6969d09faaea54d52ba92d3 100755 --- a/configure +++ b/configure @@ -1685,6 +1685,14 @@ if ! has $libtool; then libtool= fi +# MacOSX ships with a libtool which isn't the GNU one; weed this +# out by checking whether libtool supports the --version switch +if test -n "$libtool"; then + if ! "$libtool" --version >/dev/null 2>&1; then + libtool= + fi +fi + ########################################## # Sparse probe if test "$sparse" != "no" ; then