From 03bc12c7cb9ec501356fdbe9555b145f15e43ace Mon Sep 17 00:00:00 2001
From: Jim Meyering <meyering@redhat.com>
Date: Mon, 3 May 2010 23:18:40 +0200
Subject: gnu-web-doc-update: don't ignore configure or build failure

* build-aux/gnu-web-doc-update: Exit nonzero upon internal failure.
---
 build-aux/gnu-web-doc-update | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'build-aux/gnu-web-doc-update')

diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index 2c1a0cc6eb..e834dcf465 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -90,7 +90,9 @@ trap 'exit $?' 1 2 13 15
 # just-released version number, not some string like 7.6.18-20761.
 # That version string propagates into all documentation.
 git checkout -b $tmp_branch v$version
-./bootstrap && ./configure && make && make web-manual
+ok=0
+./bootstrap && ./configure && make && make web-manual && ok=1
+test $ok = 1 || exit 1
 
 tmp=$(mktemp -d --tmpdir=. web-doc-update.XXXXXX) || exit 1
 ( cd $tmp \
-- 
cgit v1.2.1