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

Merge pull request #12127 from jcarrano/color-detect-terminal

Browse Source 
makefiles/color: detect if writing to terminal.
This commit is contained in:
Francisco 2019-09-06 15:40:56 +03:00 committed by GitHub
commit e2c91639ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
makefiles/color.inc.mk
View File

@ -8,12 +8,8 @@ COLOR_RESET :=
COLOR_ECHO := /bin/echo COLOR_ECHO := /bin/echo
ifeq ($(CC_NOCOLOR),) ifeq ($(CC_NOCOLOR),)
available_colors:=$(shell tput colors 2> /dev/null) IS_TERMINAL = $(if $(MAKE_TERMOUT),$(MAKE_TERMERR),)
ifeq ($(available_colors),) ifeq ($(IS_TERMINAL),)
CC_NOCOLOR = 1
else ifeq ($(available_colors),-1)
CC_NOCOLOR = 1
else ifeq ($(available_colors),0)
CC_NOCOLOR = 1 CC_NOCOLOR = 1
else else
CC_NOCOLOR = 0 CC_NOCOLOR = 0