diff --git a/tool/run/depot.inc b/tool/run/depot.inc index 3c59d6985..10d1556b3 100644 --- a/tool/run/depot.inc +++ b/tool/run/depot.inc @@ -206,6 +206,7 @@ proc _depot_auto_update { archives } { set cmd "[genode_dir]/tool/depot/create $archives_to_create " append cmd "CROSS_DEV_PREFIX=[cross_dev_prefix] " + append cmd "DEPOT_DIR=[depot_dir] " append cmd "UPDATE_VERSIONS=1 FORCE=1 REBUILD= " set make_j_arg ""