Bugfix: kernel build failures weren't handled properly

diff --git a/kernel/makefile b/kernel/makefile
index 004d467cd95949f5f1f2d8a0f53d9a984e0d4b25..8c274a67f267f412e03c8a5a2b668c56e518d635 100644 (file)
--- a/kernel/makefile
+++ b/kernel/makefile
@@ -21,6 +21,7 @@ repo: $$(call repodir,linux)
        @true
 
 bin/$(KERNEL_CONFIG_TARGET)/.done: $$(call repodir,linux) | bin/$(KERNEL_CONFIG_TARGET)/.dir
+       set -e; \
        exec 8>bin/$(KERNEL_CONFIG_TARGET)/.lock; \
        flock 8; \
        if [ -f "$@" ]; then exit 0; fi; \