From e1357c149987ea0a876f68b5efcf66e6f2e89e8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Thu, 22 Aug 2019 11:20:58 +0200
Subject: [PATCH] makefiles/docker.inc.mk: allow disabling color in docker

When compiling with CC_NOCOLOR=1, color were still used when
printing during compilation with `BUILD_IN_DOCKER=1`.
---
 makefiles/docker.inc.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk
index 39c56c8950..77a77a1aad 100644
--- a/makefiles/docker.inc.mk
+++ b/makefiles/docker.inc.mk
@@ -39,6 +39,7 @@ export DOCKER_ENV_VARS += \
   BUILDTEST_MCU_GROUP \
   BUILDTEST_VERBOSE \
   CC \
+  CC_NOCOLOR \
   CFLAGS \
   CPPMIX \
   CXX \