From 309a281b14ebaf553e00006709beaf4722b0360e Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 9 Apr 2024 11:27:57 +0200
Subject: [PATCH] depot_autopilot.run: adjust TEST_MODULES to build_artifacts

---
 repos/gems/run/depot_autopilot.run | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index fbef16fa51..63eee51021 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -452,9 +452,7 @@ proc prepare_to_run_genode { } {
 	# Build boot image from boot modules
 	#
 
-	set boot_modules [build_artifacts]
-	append boot_modules $test_modules
-	build_boot_image $boot_modules
+	build_boot_image [list {*}[build_artifacts] {*}$test_modules]
 
 	set last_test_pkg ""
 	set run_genode_failed 0