diff --git a/tool/depot/build b/tool/depot/build index df6a27d81f..eeaec6ef25 100755 --- a/tool/depot/build +++ b/tool/depot/build @@ -123,7 +123,7 @@ $(BUILD_MK_FILE): checked_source_archives_exist checked_no_uncategorized echo -e "\nall: \$$(TARGETS)"; \ echo -e "\n\$$(TARGETS):"; \ echo -e "\t\$$(MAKE) -f \$$(TOOL_DIR)/depot/mk/\$${TOOL(\$$@)}" \ - "\$${ARGS(\$$@)} VERBOSE=\$$(VERBOSE)\n"; \ + "\$${ARGS(\$$@)} CCACHE=\$$(CCACHE) VERBOSE=\$$(VERBOSE)\n"; \ ) > $@ diff --git a/tool/depot/create b/tool/depot/create index 76e681d59a..ef44ae359c 100755 --- a/tool/depot/create +++ b/tool/depot/create @@ -58,7 +58,7 @@ REBUILD ?= $(FORCE) build: extract $(if $(VERSIONED_ARCHIVES),\ $(VERBOSE)$(MAKE) -f $(GENODE_DIR)/tool/depot/build $(VERSIONED_ARCHIVES) \ - VERBOSE=$(VERBOSE) REBUILD=$(REBUILD) \ + VERBOSE=$(VERBOSE) CCACHE=$(CCACHE) REBUILD=$(REBUILD) \ KEEP_BUILD_DIR=$(KEEP_BUILD_DIR)) $(MAKECMDGOALS): build diff --git a/tool/depot/mk/build_bin_archive b/tool/depot/mk/build_bin_archive index ee57cf7420..59019633f0 100755 --- a/tool/depot/mk/build_bin_archive +++ b/tool/depot/mk/build_bin_archive @@ -163,6 +163,7 @@ $(BUILD_CONF): checked_src_archive checked_api_archives $(VERBOSE) \ ( echo "GENODE_DIR := $(GENODE_DIR)"; \ echo "BASE_DIR := $(GENODE_DIR)/repos/base"; \ + echo "override CCACHE := $(if $(CCACHE),yes)"; \ echo "REPOSITORIES := $(SRC_DIR)"; \ for api in $(USED_APIS); do \ echo "REPOSITORIES += $(DEPOT_API_DIR)/$$api"; done \