mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
sculpt: use depot-user for boot-image archives
This commit is contained in:
parent
d9a34d9460
commit
3d14a94eac
@ -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 -->
|
||||
|
Loading…
x
Reference in New Issue
Block a user