summaryrefslogtreecommitdiffstats
path: root/Documentation/make_POT.sh
diff options
context:
space:
mode:
authorGravatar Anton Lundin <glance@acc.umu.se>2016-08-17 21:36:50 +0200
committerGravatar Dirk Hohndel <dirk@hohndel.org>2016-08-17 21:44:31 -0700
commit04d8d7cb13286d763b0078c53e3671352c94b1c6 (patch)
tree2c3ea3e81a7ab069cd84a594efee3192cf1d2550 /Documentation/make_POT.sh
parent925fd8d4c1e18ecc5d4826fc70c16635f6fbf048 (diff)
downloadsubsurface-04d8d7cb13286d763b0078c53e3671352c94b1c6.tar.gz
scripts: run all scripts with -e
Run all scripts with -e so they exit as soon as something breaks. That way the build stops at the first error, not some other error. Signed-off-by: Anton Lundin <glance@acc.umu.se> Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/make_POT.sh')
-rwxr-xr-xDocumentation/make_POT.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/make_POT.sh b/Documentation/make_POT.sh
index bbf465790..f8ba60f22 100755
--- a/Documentation/make_POT.sh
+++ b/Documentation/make_POT.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -e
#
# Author(s): Guillaume GARDET <guillaume.gardet@free.fr>
#