From 70ceb9acdcf726d8732bae1e22e35dd996df7dce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cenk=20G=C3=BCndo=C4=9Fan?= <mail-github@cgundogan.de>
Date: Thu, 26 Jan 2017 12:35:33 +0100
Subject: [PATCH] Make: buildtest: match exact board name
---
Makefile.buildtests | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile.buildtests b/Makefile.buildtests
index d01f6d23b5..4d5d99badd 100644
--- a/Makefile.buildtests
+++ b/Makefile.buildtests
@@ -39,7 +39,7 @@ buildtest:
BUILDTESTOK=true; \
APP_RETRY=0; \
for BOARD in $$($(MAKE) -s info-boards-supported); do \
- RIOTNOLINK=$$(echo $(BOARD_INSUFFICIENT_MEMORY) | grep $${BOARD} 2>&1 >/dev/null && echo 1); \
+ RIOTNOLINK=$$(echo $(BOARD_INSUFFICIENT_MEMORY) | grep "\<$${BOARD}\>" 2>&1 >/dev/null && echo 1); \
${COLOR_ECHO} -n "Building for $${BOARD} "; \
[ -n "$${RIOTNOLINK}" ] && ${COLOR_ECHO} -n "(no linking) "; \
for NTH_TRY in 1 2 3; do \
--
GitLab