ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run: add deport-dir argument

Browse Source 
By specifying '--depot-dir' in the RUN_OPTS it is possible to override
the default depot ($GENODE_DIR/deport) location with the given path.
This commit is contained in:
Josef Söntgen 2018-01-09 13:37:18 +01:00 committed by Christian Helmuth
parent 114af00913
commit 67869a697b
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tool/run/depot.inc
View File

@ -4,7 +4,15 @@
# \date 2017-03-29
#
proc depot_dir { } { return [genode_dir]/depot }
#
# Return depot directory path
#
# \param --depot-dir set depot directory to given path, otherwise
# default value [genode_dir]/depot is used
#
proc depot_dir { } {
return [get_cmd_arg_first --depot-dir "[genode_dir]/depot"]
}
##