mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 10:46:25 +00:00
build: detect duplicates in REPOSITORIES
This commit is contained in:
parent
7dcd9a9f8d
commit
c8a3497662
@ -76,6 +76,15 @@ export BOARD
|
|||||||
REPOSITORIES := $(realpath $(shell echo $(REPOSITORIES)))
|
REPOSITORIES := $(realpath $(shell echo $(REPOSITORIES)))
|
||||||
BASE_DIR := $(realpath $(shell echo $(BASE_DIR)))
|
BASE_DIR := $(realpath $(shell echo $(BASE_DIR)))
|
||||||
|
|
||||||
|
define nl
|
||||||
|
|
||||||
|
|
||||||
|
endef
|
||||||
|
|
||||||
|
ifneq ($(words $(REPOSITORIES)),$(words $(sort $(REPOSITORIES))))
|
||||||
|
$(error detected duplicates in REPOSITORIES $(foreach p,$(REPOSITORIES),$(nl) $(p)))
|
||||||
|
endif
|
||||||
|
|
||||||
#
|
#
|
||||||
# Configure shell program before executing any shell commands. On Ubuntu the
|
# Configure shell program before executing any shell commands. On Ubuntu the
|
||||||
# standard shell is dash, which breaks colored output via its built-in echo
|
# standard shell is dash, which breaks colored output via its built-in echo
|
||||||
|
Loading…
Reference in New Issue
Block a user