mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
tool/builddir: pass --ccache to run tool
With this patch, the build directory's CCACHE configuration is applied to the building of depot archives when using the --depot-auto-update feature. Note that this is effective only when resetting the hash files before building so that each depot-auto-update results in the same-named versions. Otherwise, the include paths (that include the version name as part of the path) make cache hits impossible. Issue #4004
This commit is contained in:
parent
6544cca320
commit
d6a312f438
@ -31,6 +31,7 @@
|
||||
# there is no need to change it.
|
||||
#
|
||||
# CONTRIB_DIR - location of ported 3rd-party source codes
|
||||
# CCACHE - if set to 'yes', the build system uses the compiler cache
|
||||
#
|
||||
# REQUIRED_GCC_VERSION - GCC version required for building Genode
|
||||
#
|
||||
@ -376,6 +377,8 @@ endif
|
||||
export CUSTOM_CC := $(CCACHED_CUSTOM_CC)
|
||||
export CUSTOM_CXX := $(CCACHED_CUSTOM_CXX)
|
||||
|
||||
RUN_OPT_CCACHE := --ccache
|
||||
|
||||
endif
|
||||
|
||||
|
||||
@ -398,6 +401,7 @@ run/%: $(call select_from_repositories,run/%.run) $(RUN_ENV)
|
||||
--cross-dev-prefix "$(CROSS_DEV_PREFIX)" \
|
||||
--qemu-args "$(QEMU_OPT)" \
|
||||
--make "$(MAKE)" \
|
||||
$(RUN_OPT_CCACHE) \
|
||||
$(RUN_OPT) \
|
||||
--include $(RUN_SCRIPT)
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user