diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index f7217f45f..9e2009ddc 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -619,8 +619,7 @@ set depot_users_files [exec sh -c "cd [genode_dir]; \ find depot -maxdepth 3 -name pubkey \ -or -name download"] exec sh -c "tar cf [run_dir]/genode/depot_users.tar -C [genode_dir] \ - [join $depot_users_files] \ - depot/[depot_user]/index/[sculpt_version]" + [join $depot_users_files]" #