changeset 13308:084f90e3785f

gnu-web-doc-update: don't ignore configure or build failure * build-aux/gnu-web-doc-update: Exit nonzero upon internal failure.
author Jim Meyering <meyering@redhat.com>
date Mon, 03 May 2010 23:18:40 +0200
parents 67bccb71cc24
children eeb72cb4f562
files ChangeLog build-aux/gnu-web-doc-update
diffstat 2 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Mon May 03 22:19:34 2010 +0200
+++ b/ChangeLog	Mon May 03 23:18:40 2010 +0200
@@ -1,5 +1,8 @@
 2010-05-03  Jim Meyering  <meyering@redhat.com>
 
+	gnu-web-doc-update: don't ignore configure or build failure
+	* build-aux/gnu-web-doc-update: Exit nonzero upon internal failure.
+
 	announce-gen: backslash-escape '@'s in --help output
 	* build-aux/announce-gen: Fix syntax errors.
 
--- a/build-aux/gnu-web-doc-update	Mon May 03 22:19:34 2010 +0200
+++ b/build-aux/gnu-web-doc-update	Mon May 03 23:18:40 2010 +0200
@@ -90,7 +90,9 @@
 # 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 \