mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-21 00:23:16 +00:00
Fix nested run in vbox5_genode_usb_hid_raw
Since "Consolidate USB test run-scripts" usb_hid_raw.run depends on depot archives. Therefore, '--depot-dir' and '--depot-user' must be passed to the nested run tool to cover cases that customize the depot (e.g., our nightly CI). Issue #4511
This commit is contained in:
@ -243,6 +243,8 @@ exec -ignorestderr \
|
|||||||
--specs "$specs" \
|
--specs "$specs" \
|
||||||
--board "$board_var" \
|
--board "$board_var" \
|
||||||
--repositories "$repositories" \
|
--repositories "$repositories" \
|
||||||
|
--depot-dir [depot_dir] \
|
||||||
|
--depot-user [depot_user] \
|
||||||
--cross-dev-prefix "[cross_dev_prefix]" \
|
--cross-dev-prefix "[cross_dev_prefix]" \
|
||||||
--include boot_dir/nova \
|
--include boot_dir/nova \
|
||||||
--include image/iso \
|
--include image/iso \
|
||||||
|
Reference in New Issue
Block a user