From 03bc12c7cb9ec501356fdbe9555b145f15e43ace Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Mon, 3 May 2010 23:18:40 +0200 Subject: [PATCH] gnu-web-doc-update: don't ignore configure or build failure * build-aux/gnu-web-doc-update: Exit nonzero upon internal failure. --- ChangeLog | 3 +++ build-aux/gnu-web-doc-update | 4 +++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 0a58879f7..5b349a571 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2010-05-03 Jim Meyering + 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. diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index 2c1a0cc6e..e834dcf46 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 \ -- 2.11.0