From 92535234a2447977c40d83968b3bbe45a5b8bb17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Wed, 28 Mar 2018 16:49:30 +0200
Subject: [PATCH] Makefile.include: add an assert that .DEFAULT_GOAL is all

---
 Makefile.include | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile.include b/Makefile.include
index f613c16c96..16afa50e03 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -593,4 +593,9 @@ CFLAGS += -include '$(RIOTBUILD_CONFIG_HEADER_C)'
 
 # include mcuboot support
 include $(RIOTMAKE)/mcuboot.mk
+
+# Sanity check, 'all' should be the default goal
+ifneq (all, $(.DEFAULT_GOAL))
+  $(error .DEFAULT_GOAL := $(.DEFAULT_GOAL))
+endif
 endif # BOARD=none
-- 
GitLab