mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
tool/run: add --ccache argument
If this argument is combined with --depot-auto-update, the run tool enables the use of ccache when invoking the depot/create tool. Issue #4004
This commit is contained in:
parent
3d0ed5992d
commit
6544cca320
@ -214,6 +214,9 @@ proc _depot_auto_update { archives } {
|
||||
append cmd "DEPOT_DIR=[depot_dir] "
|
||||
append cmd "UPDATE_VERSIONS=1 FORCE=1 REBUILD= "
|
||||
|
||||
if {[get_cmd_switch --ccache]} {
|
||||
append cmd "CCACHE=1 " }
|
||||
|
||||
set make_j_arg ""
|
||||
regexp {.*(-j\d*)} [get_cmd_arg_first --make ""] dummy make_j_arg
|
||||
append cmd "$make_j_arg "
|
||||
|
Loading…
x
Reference in New Issue
Block a user