aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
authorGareth McMullin2015-03-02 23:14:43 -0800
committerGareth McMullin2015-03-02 23:14:43 -0800
commit2e37db22703e38b01b7e22c667bbea1dbd19f8cf (patch)
treee49a9211d7f1099f9114d28dd7031a6ad41c9fac /src/Makefile
parent87b8f330f097b5519605748bd96cbecd18fc5250 (diff)
Error on any failure on 'make all_platforms'
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile
index f56f7c5..3a29b7b 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -54,6 +54,7 @@ clean: host_clean
-$(RM) platforms/*/*.o platforms/*/*.d mapfile
all_platforms:
+ set -e ;\
for i in platforms/*/Makefile.inc ; do \
export DIRNAME=`dirname $$i` ;\
export PROBE_HOST=`basename $$DIRNAME` ;\