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