Bugfix: kernel build failures weren't handled properly
authorDaniel Abrecht <public@danielabrecht.ch>
Fri, 20 May 2022 16:28:02 +0000 (16:28 +0000)
committerDaniel Abrecht <public@danielabrecht.ch>
Fri, 20 May 2022 16:28:02 +0000 (16:28 +0000)
kernel/makefile

index 004d467cd95949f5f1f2d8a0f53d9a984e0d4b25..8c274a67f267f412e03c8a5a2b668c56e518d635 100644 (file)
@@ -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; \