From f18208eb6437d8bb1854bed7ec017f3c6b33a599 Mon Sep 17 00:00:00 2001 From: chrysn Date: Sat, 25 Nov 2023 19:29:03 +0100 Subject: [PATCH] makefile: Don't $(info) when the output can break info-boards-supported --- Makefile.include | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile.include b/Makefile.include index 609a1f8fec..cd91664f68 100644 --- a/Makefile.include +++ b/Makefile.include @@ -117,7 +117,6 @@ ifneq ($(RIOT_CI_BUILD),1) ifeq ($(MAKELEVEL),0) ifneq (,$(BOARDSDIR)) $(warning Using BOARDSDIR is deprecated use EXTERNAL_BOARD_DIRS instead) - $(info EXTERNAL_BOARD_DIRS can contain multiple folders separated by space) endif endif endif