ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

run: honor DEPOT_DIR for --depot-auto-update 

Issue #3270
This commit is contained in:
Christian Helmuth 2019-05-08 13:57:59 +02:00
parent 13fb51eecf
commit 3033496fa4
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tool/run/depot.inc
View File

@ -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 ""