bootstrap.sh: find gnulib at ../gnulib, too

This commit is contained in:
Peter Simons 2019-07-12 16:00:19 +02:00
parent dd519cccb2
commit 188ae0935a

View File

@ -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