diff options
-rw-r--r-- | build/Makefile | 1 | ||||
-rw-r--r-- | debian/changelog | 3 |
2 files changed, 4 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/_/-/")" ; \ diff --git a/debian/changelog b/debian/changelog index f17ef36e6..4c8db9f81 100644 --- a/debian/changelog +++ b/debian/changelog @@ -39,6 +39,9 @@ installation-guide (20150324) UNRELEASED; urgency=medium * Remove the old hdX device names, switch to sdX for disks * Various fixes for arm* support + [ Samuel Thibault ] + * Add missing "set -e" in build/Makefile to trap build failures. + -- Samuel Thibault <sthibault@debian.org> Sat, 28 Mar 2015 10:10:34 +0100 installation-guide (20150323) unstable; urgency=medium |