mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
make: check for board existence
This commit is contained in:
parent
20067567d1
commit
18bf9529f2
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user