build: Make autogen.sh more reliable.

* autogen.sh: Fail if gnulib-tool fails.

diff --git a/autogen.sh b/autogen.sh
index 0aa68224ea01a586a2e43c2b9b6a30a65a8c6449..9534c15797175a80718bd2068c777304f4231dcb 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -612,7 +612,7 @@ if ! $skip_gnulib; then
   done
 
   # Fetch INSTALL.generic.
-  $GNULIB_TOOL --copy-file doc/INSTALL.UTF-8 INSTALL.generic
+  $GNULIB_TOOL --copy-file doc/INSTALL.UTF-8 INSTALL.generic || exit $?
 fi
 
 # Make sure we get new versions of files brought in by automake.