From 6544cca320eeb40da984e5de3bf60d1d376f6b9a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 5 Mar 2021 16:02:27 +0100
Subject: [PATCH] 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
---
 tool/run/depot.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tool/run/depot.inc b/tool/run/depot.inc
index 35cdf162b5..ba5a56f6ab 100644
--- a/tool/run/depot.inc
+++ b/tool/run/depot.inc
@@ -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 "