Error on any failure on 'make all_platforms'

2015-03-02 23:14:43 -08:00 · 2015-03-02 23:14:43 -08:00 · 2e37db2270
parent 87b8f330f0
commit 2e37db2270
1 changed files with 1 additions and 0 deletions
--- 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` ;\