From f4dabf08e2c7eea0be8f1063c1a87e786d37c295 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 30 May 2022 09:38:15 +0200 Subject: [PATCH] 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 --- repos/ports/run/vbox5_genode_usb_hid_raw.run | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/ports/run/vbox5_genode_usb_hid_raw.run b/repos/ports/run/vbox5_genode_usb_hid_raw.run index 9a4dcaae5e..aeed73f926 100644 --- a/repos/ports/run/vbox5_genode_usb_hid_raw.run +++ b/repos/ports/run/vbox5_genode_usb_hid_raw.run @@ -243,6 +243,8 @@ exec -ignorestderr \ --specs "$specs" \ --board "$board_var" \ --repositories "$repositories" \ + --depot-dir [depot_dir] \ + --depot-user [depot_user] \ --cross-dev-prefix "[cross_dev_prefix]" \ --include boot_dir/nova \ --include image/iso \