From ab38081f5877c0b15c50ed881594bfffee78eb2b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mikolai=20G=C3=BCtschow?= Date: Thu, 3 Apr 2025 15:27:14 +0200 Subject: [PATCH] makefiles: colorize board alias warning --- makefiles/board_alias.inc.mk | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/makefiles/board_alias.inc.mk b/makefiles/board_alias.inc.mk index f71a1c81ef..e63e085279 100644 --- a/makefiles/board_alias.inc.mk +++ b/makefiles/board_alias.inc.mk @@ -5,6 +5,10 @@ _platform_bits := $(shell getconf LONG_BIT) BOARD_ALIAS += native:native$(_platform_bits) +# include color echo macros +include $(RIOTMAKE)/utils/ansi.mk +include $(RIOTMAKE)/color.inc.mk + # if board is a known alias, have _BOARD_ALIAS_USED hold alias and board _BOARD_ALIAS_USED := $(strip $(subst :, , $(filter $(BOARD):%, $(BOARD_ALIAS)))) ifneq (, $(_BOARD_ALIAS_USED)) @@ -23,6 +27,7 @@ ifneq (, $(_BOARD_ALIAS_USED)) ifeq (native,$(_alias)) $(shell echo 'using BOARD="$(_board)" as "$(_alias)" on a $(_platform_bits)-bit system' 1>&2) else - $(shell echo 'warning: BOARD="$(_alias)" is a deprecated alias. Consider using BOARD="$(_board)" instead.' 1>&2) + MSG="Warning: BOARD=\"$(_alias)\" is a deprecated alias. Consider using BOARD=\"$(_board)\" instead." + $(shell $(COLOR_ECHO) "$(COLOR_RED)$(MSG)$(COLOR_RESET)" 1>&2) endif endif