diff options
| author | pohlinkzei <pohlinkzei@gmx-topmail.de> | 2017-02-28 15:36:42 +0100 |
|---|---|---|
| committer | pohlinkzei <pohlinkzei@gmx-topmail.de> | 2017-02-28 15:36:42 +0100 |
| commit | d6361fac800b3bae8d8b37920fddb2bbedfc8c1a (patch) | |
| tree | fcb7f52123710f6df61d805c68d6bbf47e050733 /ci/build.sh | |
| parent | 98702c661f58978f56b1e6d10defb322f7ad4252 (diff) | |
| parent | e1b8340c662516353028e05abe0570fc4ae7bb9a (diff) | |
| download | navit-pr-5-hide-keys.tar.gz | |
Merge remote-tracking branch 'navit/trunk' into pr-5-hide-keyspr-5-hide-keys
Diffstat (limited to 'ci/build.sh')
| -rw-r--r-- | ci/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/build.sh b/ci/build.sh index 7f8f46279..b5d81e9dc 100644 --- a/ci/build.sh +++ b/ci/build.sh @@ -1,3 +1,5 @@ +set -e + echo "$# build script (s) to run" for i in $(seq 1 $#); do |