From 537b725aedece2d2142f8e8fe4a3e574c000ac8d Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Sat, 17 Dec 2016 00:17:26 +0100
Subject: [PATCH] make: introduce RIOT_CI_BUILD (#5162)

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

diff --git a/Makefile.include b/Makefile.include
index 4f4c505f22..004d90f900 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -204,6 +204,15 @@ ifeq ($(strip $(MCU)),)
 	MCU = $(CPU)
 endif
 
+# set some settings useful for continuous integration builds
+ifeq ($(RIOT_CI_BUILD),1)
+    RIOT_VERSION_OVERRIDE:=buildtest
+    ifneq ($(filter $(BOARD_INSUFFICIENT_MEMORY), $(BOARD)),)
+        $(info CI-build: skipping link step)
+        RIOTNOLINK:=1
+    endif
+endif
+
 # if you want to publish the board into the sources as an uppercase #define
 BOARDDEF := $(shell echo $(BOARD) | tr 'a-z' 'A-Z' | tr '-' '_')
 CPUDEF := $(shell echo $(CPU) | tr 'a-z' 'A-Z' | tr '-' '_')
-- 
GitLab