From 09ab7cb0a8988a1716cb0a6ca6c83b92b44f28fa Mon Sep 17 00:00:00 2001
From: Hauke Petersen <hauke.petersen@fu-berlin.de>
Date: Mon, 7 Aug 2017 10:20:30 +0200
Subject: [PATCH] make: allow for disabling colored compiler output

---
 makefiles/cflags.inc.mk | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/makefiles/cflags.inc.mk b/makefiles/cflags.inc.mk
index c5e3c52e8b..396c278a8c 100644
--- a/makefiles/cflags.inc.mk
+++ b/makefiles/cflags.inc.mk
@@ -25,9 +25,13 @@ ifeq ($(shell $(CC) -fno-delete-null-pointer-checks -E - 2>/dev/null >/dev/null
   endif
 endif
 
-# Use colored gcc output if the compiler supports this
-ifeq ($(shell $(CC) -fdiagnostics-color -E - 2>/dev/null >/dev/null </dev/null ; echo $$?),0)
-  CFLAGS += -fdiagnostics-color
+# Use colored compiler output if the compiler supports this and if this is not
+# disabled by the user
+CC_NOCOLOR ?= 0
+ifeq ($(CC_NOCOLOR),0)
+  ifeq ($(shell $(CC) -fdiagnostics-color -E - 2>/dev/null >/dev/null </dev/null ; echo $$?),0)
+    CFLAGS += -fdiagnostics-color
+  endif
 endif
 
 # Fast-out on old style function definitions.