From 2e37db22703e38b01b7e22c667bbea1dbd19f8cf Mon Sep 17 00:00:00 2001 From: Gareth McMullin Date: Mon, 2 Mar 2015 23:14:43 -0800 Subject: Error on any failure on 'make all_platforms' --- src/Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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` ;\ -- cgit v1.2.3