From 095128a399ff7190d2ff23f9163b8f051d01d7c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Tue, 3 Jul 2018 12:03:39 +0200
Subject: [PATCH] newlib.mk: sanity check for newlib-nano header for ci builds

---
 makefiles/libc/newlib.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefiles/libc/newlib.mk b/makefiles/libc/newlib.mk
index 1bc3ac00bdb3..8ee2c09113a7 100644
--- a/makefiles/libc/newlib.mk
+++ b/makefiles/libc/newlib.mk
@@ -92,7 +92,7 @@ ifeq (1,$(USE_NEWLIB_NANO))
   # the regular system include dirs.
   INCLUDES := $(addprefix -isystem ,$(NEWLIB_NANO_INCLUDE_DIR)) $(INCLUDES)
 
-  ifneq (,$(filter 1, $(ASSERT_NEWLIB_NANO_HEADER)))
+  ifneq (,$(filter 1, $(ASSERT_NEWLIB_NANO_HEADER) $(RIOT_CI_BUILD)))
     # Add a check to assert newlib-nano is used
     CFLAGS += -include '$(RIOTMAKE)/libc/assert_newlib_nano_included.h'
   endif