projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6addf8) | patch
gnu-web-doc-update: don't ignore configure or build failure
authorJim Meyering <meyering@redhat.com>
Mon, 3 May 2010 21:18:40 +0000 (23:18 +0200)
committerJim Meyering <meyering@redhat.com>
Mon, 3 May 2010 21:18:40 +0000 (23:18 +0200)
commit03bc12c7cb9ec501356fdbe9555b145f15e43ace
treebe60ffca3fd1533decb27f63b277475575b99e96tree | snapshot
parente6addf84d6331d634b5d76db03f59851f3de8894commit | diff
gnu-web-doc-update: don't ignore configure or build failure

* build-aux/gnu-web-doc-update: Exit nonzero upon internal failure.
ChangeLog diff | blob | history
build-aux/gnu-web-doc-update diff | blob | history
gnulib debian + stable branches