make build.sh die on error

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
Nico Schottelius 2011-03-29 16:51:11 +02:00
parent 1ca8aec206
commit dde2f37054

View file

@ -23,6 +23,9 @@
# Pull a directory from a target, both sides have the same name (i.e. explorers)
#
# exit on any error
set -e
# Manpage and HTML
A2XM="a2x -f manpage --no-xmllint"
A2XH="a2x -f xhtml --no-xmllint"