mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2026-01-01 01:41:18 +01:00
Merge pull request #5002 from OlegHahm/make_complains_about_empty_application_name
make: check if APPLICATION is set
This commit is contained in:
commit
114f2643fc
@ -129,6 +129,9 @@ ifeq (,$(UNZIP_HERE))
|
||||
endif
|
||||
endif
|
||||
|
||||
ifeq (, ${APPLICATION})
|
||||
$(error An application name must be specified as APPLICATION.)
|
||||
endif
|
||||
ifneq (0,$(shell test -d $(RIOTBOARD)/$(BOARD); echo $$?))
|
||||
$(error The specified board $(BOARD) does not exist.)
|
||||
endif
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user