From 2e266dfe3c09ce2cc6f4d4086fb57c8f813f91b4 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 10 Aug 2022 13:11:57 +0200
Subject: [PATCH] vbox5_genode_usb_hid_raw: support --depot-auto-update

... in nested run.
---
 repos/ports/run/vbox5_genode_usb_hid_raw.run | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/ports/run/vbox5_genode_usb_hid_raw.run b/repos/ports/run/vbox5_genode_usb_hid_raw.run
index 474bb751ef..ee50ff7c80 100644
--- a/repos/ports/run/vbox5_genode_usb_hid_raw.run
+++ b/repos/ports/run/vbox5_genode_usb_hid_raw.run
@@ -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 \