mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 10:46:25 +00:00
depot: make DEPOT_DIR overridable
This commit is contained in:
parent
a867c29633
commit
114af00913
@ -13,7 +13,7 @@ REPOSITORIES ?= $(shell find $(GENODE_DIR)/repos -follow -mindepth 1 -maxdepth 1
|
||||
# list of all repositories that contain depot recipes
|
||||
REP_RECIPES_DIRS := $(wildcard $(addsuffix /recipes,$(REPOSITORIES)))
|
||||
|
||||
DEPOT_DIR := $(GENODE_DIR)/depot
|
||||
DEPOT_DIR ?= $(GENODE_DIR)/depot
|
||||
|
||||
usage:
|
||||
@$(ECHO) "$(subst $(NEWLINE),\n,$(HELP_MESSAGE))";
|
||||
|
@ -38,7 +38,7 @@ include $(GENODE_DIR)/tool/depot/mk/front_end.inc
|
||||
#
|
||||
|
||||
ifneq ($(MAKECMDGOALS),)
|
||||
DEPENDENCIES_CMD := $(GENODE_DIR)/tool/depot/dependencies $(MAKECMDGOALS)
|
||||
DEPENDENCIES_CMD := $(GENODE_DIR)/tool/depot/dependencies DEPOT_DIR="$(DEPOT_DIR)" $(MAKECMDGOALS)
|
||||
DEPENDENCIES_RESULT := $(shell $(DEPENDENCIES_CMD) 2> /dev/null || true)
|
||||
endif
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user