aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTeddy Wing2018-11-23 01:11:41 +0100
committerTeddy Wing2018-11-23 01:11:41 +0100
commit6bcd35a43e74ced8d82da99523b98fdfefafaf6d (patch)
tree7c38bf16154d93b3d7d0b7952a8b54c1428df4a9
parent32818582ca4c4f9b4b5c19579e88eb19d8623149 (diff)
downloaddome-key-web-6bcd35a43e74ced8d82da99523b98fdfefafaf6d.tar.bz2
bin/setup: Exit on error
-rwxr-xr-xbin/setup2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/setup b/bin/setup
index 342d22a..4055793 100755
--- a/bin/setup
+++ b/bin/setup
@@ -18,6 +18,8 @@
# License along with DomeKey Web. If not, see
# <https://www.gnu.org/licenses/>.
+set -ex
+
function program_exists () {
local program="$1"