From 18bf9529f2c31bce16b3155a2110617c61089472 Mon Sep 17 00:00:00 2001
From: Oleg Hahm <oleg@hobbykeller.org>
Date: Sun, 22 Feb 2015 21:11:30 +0100
Subject: [PATCH] make: check for board existence

---
 Makefile.include | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile.include b/Makefile.include
index b78e27219f..951b6e96bc 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -91,6 +91,10 @@ ifeq (,$(UNZIP_HERE))
   endif
 endif
 
+ifneq (0,$(shell test -d $(RIOTBOARD)/$(BOARD); echo $$?))
+    $(error The specified board $(BOARD) does not exist.)
+endif
+
 # mandatory includes!
 include $(RIOTBASE)/Makefile.modules
 include $(RIOTBOARD)/$(BOARD)/Makefile.include
-- 
GitLab