From 3d14a94eac3baee77ccf8d3c835c87f4bc95e850 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 22 Feb 2018 10:58:56 +0100
Subject: [PATCH] sculpt: use depot-user for boot-image archives

---
 repos/gems/run/sculpt.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index a8180ab830..efdae0b541 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -7,8 +7,8 @@ proc depot_user {} { return [get_cmd_arg --depot-user genodelabs] }
 
 create_boot_directory
 
-import_from_depot genodelabs/src/[base_src] \
-                  genodelabs/pkg/sculpt
+import_from_depot [depot_user]/src/[base_src] \
+                  [depot_user]/pkg/sculpt
 
 proc config_system_content {} { return {\
 <!-- set 'state' value to "reset" to reboot the machine -->