mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 02:40:08 +00:00
depot: rename src/rump -> src/vfs_rump
For consistency, let's all archives of VFS plugins are prefixed with "vfs_". Fixed #5327
This commit is contained in:
parent
995208585b
commit
3211a10573
@ -1,2 +1,2 @@
|
||||
_/src/rump
|
||||
_/src/vfs_rump
|
||||
_/src/vfs
|
||||
|
@ -10,7 +10,7 @@ _/src/openssl
|
||||
_/src/fs_tool
|
||||
_/src/fs_utils
|
||||
_/src/posix
|
||||
_/src/rump
|
||||
_/src/vfs_rump
|
||||
_/src/sandbox
|
||||
_/src/file_vault
|
||||
_/src/file_vault_gui
|
||||
|
@ -26,7 +26,7 @@ _/src/vfs
|
||||
_/src/vfs_import
|
||||
_/src/vfs_lxip
|
||||
_/src/vfs_pipe
|
||||
_/src/rump
|
||||
_/src/vfs_rump
|
||||
_/src/chroot
|
||||
_/src/fetchurl
|
||||
_/src/curl
|
||||
|
@ -28,7 +28,7 @@ append archives "
|
||||
[depot_user]/src/fs_tool
|
||||
[depot_user]/src/fs_utils
|
||||
[depot_user]/src/posix
|
||||
[depot_user]/src/rump
|
||||
[depot_user]/src/vfs_rump
|
||||
[depot_user]/src/sandbox
|
||||
[depot_user]/src/report_rom
|
||||
[depot_user]/src/dynamic_rom
|
||||
|
@ -62,7 +62,7 @@ append archives "
|
||||
[depot_user]/src/fs_utils
|
||||
[depot_user]/src/posix
|
||||
[depot_user]/src/vfs_pipe
|
||||
[depot_user]/src/rump
|
||||
[depot_user]/src/vfs_rump
|
||||
[depot_user]/src/fs_rom
|
||||
[depot_user]/src/log_terminal
|
||||
[depot_user]/src/sandbox
|
||||
|
@ -27,7 +27,7 @@ append archives "
|
||||
[depot_user]/src/fs_tool
|
||||
[depot_user]/src/fs_utils
|
||||
[depot_user]/src/posix
|
||||
[depot_user]/src/rump
|
||||
[depot_user]/src/vfs_rump
|
||||
[depot_user]/src/sandbox"
|
||||
|
||||
append_if [jent_avail] archives " [depot_user]/src/vfs_jitterentropy "
|
||||
|
@ -52,7 +52,7 @@ if {!$use_usb} {
|
||||
}
|
||||
|
||||
if {$use_rumpfs} {
|
||||
import_from_depot [depot_user]/src/rump
|
||||
import_from_depot [depot_user]/src/vfs_rump
|
||||
}
|
||||
|
||||
append build_components {
|
||||
|
Loading…
Reference in New Issue
Block a user