mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +01:00
make: remove obsolete check for jenkins
This commit is contained in:
parent
8a85725cf9
commit
7383957a8d
@ -58,7 +58,6 @@ COLOR_ECHO := /bin/echo
|
||||
|
||||
OS := $(shell uname)
|
||||
|
||||
ifeq (, ${JENKINS_URL})
|
||||
ifeq (0, $(shell tput colors 2>&1 > /dev/null; echo $$?))
|
||||
COLOR_GREEN := \033[1;32m
|
||||
COLOR_RED := \033[1;31m
|
||||
@ -72,7 +71,6 @@ ifeq (, ${JENKINS_URL})
|
||||
COLOR_ECHO := /bin/echo -e
|
||||
endif
|
||||
endif
|
||||
endif
|
||||
|
||||
ifeq ($(OS),Darwin)
|
||||
OPEN := open
|
||||
|
Loading…
Reference in New Issue
Block a user