riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #12061 from cladmi/pr/docker/cc_nocolor

Browse Source 
makefiles/docker.inc.mk: allow disabling color in docker
This commit is contained in:
Juan I Carrano 2019-08-22 13:22:33 +02:00 committed by GitHub
commit dd8fc0b095
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
makefiles/docker.inc.mk
View File

@ -39,6 +39,7 @@ export DOCKER_ENV_VARS += \
BUILDTEST_MCU_GROUP \ BUILDTEST_MCU_GROUP \
BUILDTEST_VERBOSE \ BUILDTEST_VERBOSE \
CC \ CC \
CC_NOCOLOR \
CFLAGS \ CFLAGS \
CPPMIX \ CPPMIX \
CXX \ CXX \