mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
Add [depot_user] to run tool builtins
Now that the depot_user procedure has found use in the depot_autopilot it has become a convention. Fix #3127
This commit is contained in:
committed by
Norman Feske
parent
6154d9067e
commit
f529871162
@@ -238,6 +238,13 @@ proc _collect_from_depot { archives } {
|
||||
}
|
||||
|
||||
|
||||
##
|
||||
# Parse depot user from run tool arguments with a fallback to "genodelabs"
|
||||
#
|
||||
#
|
||||
proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] }
|
||||
|
||||
|
||||
##
|
||||
# Import binary and raw content of the specified depot archives into the run
|
||||
# directory of the scenario
|
||||
|
||||
Reference in New Issue
Block a user