From 188ae0935ac9555f85d11c4639acf8e43b1af696 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Fri, 12 Jul 2019 16:00:19 +0200
Subject: [PATCH] bootstrap.sh: find gnulib at ../gnulib, too

---
 bootstrap.sh | 2 ++
 1 file changed, 2 insertions(+)

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