From 73f3572c9f2a0abca82cb13c7c5bc0901e296eb5 Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Sun, 29 Sep 2013 12:48:12 +0200 Subject: [PATCH] Abort when the generator fails (e.g. because of syntax errors in the config) --- scripts/generate.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/generate.sh b/scripts/generate.sh index 5aa94501..1db9c40c 100755 --- a/scripts/generate.sh +++ b/scripts/generate.sh @@ -1,7 +1,8 @@ #!/usr/bin/env bash -declare -a IN +set -e +declare -a IN GLUONDIR="$(dirname "$0")/.."