}
if [ -z "$LIBTOOL" ]; then
- LIBTOOL=`which glibtool`
- if [ ! -x $LIBTOOL ]; then
+ LIBTOOL=`which glibtool 2>/dev/null`
+ if [ ! -x "$LIBTOOL" ]; then
LIBTOOL=`which libtool`
fi
fi
exit 1
fi
-if test -z "$*"; then
+if test x$NOCONFIGURE = x && test -z "$*"; then
echo "**Warning**: I am going to run \`configure' with no arguments."
echo "If you wish to pass any to it, please specify them on the"
echo \`$0\'" command line."