aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
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` ;\