ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 22:47:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vbox5_genode_usb_hid_raw: support --depot-auto-update

Browse Source 
... in nested run.
This commit is contained in:
Christian Helmuth 2022-08-10 13:11:57 +02:00
parent eeb40d0cc2
commit 2e266dfe3c
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/ports/run/vbox5_genode_usb_hid_raw.run
View File

@ -239,6 +239,11 @@ puts "--- executing the 'usb_hid_raw' run script to generate the 'usb_hid_raw.is
global specs
global repositories
set depot_auto_update ""
if {[get_cmd_switch --depot-auto-update]} {
set depot_auto_update "--depot-auto-update"
}
exec -ignorestderr \
$::argv0 \
--genode-dir [genode_dir] \
@ -248,6 +253,7 @@ exec -ignorestderr \
--repositories "$repositories" \
--depot-dir [depot_dir] \
--depot-user [depot_user] \
$depot_auto_update \
--cross-dev-prefix "[cross_dev_prefix]" \
--include boot_dir/nova \
--include image/iso \