diff options
author | Anton Lundin <glance@acc.umu.se> | 2016-08-17 21:36:50 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2016-08-17 21:44:31 -0700 |
commit | 04d8d7cb13286d763b0078c53e3671352c94b1c6 (patch) | |
tree | 2c3ea3e81a7ab069cd84a594efee3192cf1d2550 /packaging/ubuntu/make-package.sh | |
parent | 925fd8d4c1e18ecc5d4826fc70c16635f6fbf048 (diff) | |
download | subsurface-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 'packaging/ubuntu/make-package.sh')
-rw-r--r-- | packaging/ubuntu/make-package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packaging/ubuntu/make-package.sh b/packaging/ubuntu/make-package.sh index a825c5151..3e6f4de4e 100644 --- a/packaging/ubuntu/make-package.sh +++ b/packaging/ubuntu/make-package.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -e # start from the directory above the combined subsurface & subsurface/libdivecomputer directory # # in order to be able to make changes to the debian/* files without changing the source |