From 35bb19d6d42b7b5fc0f4f5091d1b1f559e1029e7 Mon Sep 17 00:00:00 2001
From: mikeller <github@ike.ch>
Date: Tue, 26 Feb 2019 21:02:45 +1300
Subject: [PATCH] Made PRE_PUSH_TARGET_LIST settable from 'make/local.mk'.

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9e8c485ebf..ca5d2e1950 100644
--- a/Makefile
+++ b/Makefile
@@ -95,6 +95,9 @@ FEATURES        =
 FEATURE_CUT_LEVEL_SUPPLIED := $(FEATURE_CUT_LEVEL)
 FEATURE_CUT_LEVEL =
 
+# The list of targets to build for 'pre-push'
+PRE_PUSH_TARGET_LIST ?= BETAFLIGHTF3 OMNIBUSF4 SPRACINGF7DUAL SITL test-representative
+
 include $(ROOT)/make/targets.mk
 
 REVISION := $(shell git log -1 --format="%h")
@@ -349,7 +352,7 @@ unsupported: $(UNSUPPORTED_TARGETS)
 
 ## pre-push : The minimum verification that should be run before pushing, to check if CI has a chance of succeeding
 pre-push:
-	$(MAKE) BETAFLIGHTF3_clean BETAFLIGHTF3 OMNIBUSF4_clean OMNIBUSF4 SPRACINGF7DUAL_clean SPRACINGF7DUAL SITL_clean SITL clean_test test-representative EXTRA_FLAGS=-Werror
+	$(MAKE) $(addprefix clean_,$(PRE_PUSH_TARGET_LIST)) $(PRE_PUSH_TARGET_LIST) EXTRA_FLAGS=-Werror
 
 ## official          : Build all official (travis) targets
 official: $(OFFICIAL_TARGETS)
@@ -388,6 +391,9 @@ clean:
 	@echo "Cleaning $(TARGET) succeeded."
 
 ## clean_test        : clean up temporary / machine-generated files (tests)
+clean_test-%:
+	$(MAKE) clean_test
+
 clean_test:
 	$(V0) cd src/test && $(MAKE) clean || true