diff --git a/bootstrap.sh b/bootstrap.sh index 72e0216..800128e 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -4,6 +4,8 @@ set -eu if [ -x "gnulib/gnulib-tool" ]; then gnulibtool=gnulib/gnulib-tool +elif [ -x "../gnulib/gnulib-tool" ]; then + gnulibtool=../gnulib/gnulib-tool else gnulibtool=gnulib-tool fi