* autogen.sh: Permit gnulib-tool to be missing; in that case, just

  run autoreconf.

1 files changed, 4 insertions, 2 deletions

diff --git a/autogen.sh b/autogen.sh
index 61695223..32af5b07 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,5 +1,7 @@
 #! /bin/sh -e
 
-gnulib-tool --update >/dev/null
-patch -s -p0 < gnulib/lib/xmalloc.patch
+if type gnulib-tool >/dev/null 2>&1; then
+	gnulib-tool --update >/dev/null
+	patch -s -p0 < gnulib/lib/xmalloc.patch
+fi
 autoreconf -i "$@"