diff options
author | Samuel Thibault <sthibault@debian.org> | 2015-04-17 00:28:38 +0000 |
---|---|---|
committer | Samuel Thibault <sthibault@debian.org> | 2015-04-17 00:28:38 +0000 |
commit | 542d4ce2e5f03a6374b303c3b9a508be33b7a6c6 (patch) | |
tree | 1034bd00b72a9d6354a59cb0f167668a8ba5e8e4 /build/Makefile | |
parent | 97556d745e09a56fba108142eba57a3de7c95495 (diff) | |
download | installation-guide-542d4ce2e5f03a6374b303c3b9a508be33b7a6c6.zip |
Add missing "set -e" in build/Makefile to trap build failures.
Diffstat (limited to 'build/Makefile')
-rw-r--r-- | build/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile index 6377afc7b..5668cf151 100644 --- a/build/Makefile +++ b/build/Makefile @@ -5,6 +5,7 @@ TARGETS=$(foreach language,$(languages),$(addprefix $(language).,$(architectures all: $(TARGETS) $(TARGETS): %: + set -e ; \ target=$@ ; \ lang=$${target%.*} ; \ lang_id="$$(echo $$lang | tr A-Z a-z | sed "s/_/-/")" ; \ |