Build dynamically linked executables by default
This patch is related to the following issue: https://github.com/genodelabs/genode/issues/2184
This commit is contained in:
@@ -26,7 +26,7 @@ install_config {
|
||||
</config>
|
||||
}
|
||||
|
||||
build_boot_image "core init log_tee test-printf"
|
||||
build_boot_image "core ld.lib.so init log_tee test-printf"
|
||||
|
||||
append qemu_args "-nographic -m 64"
|
||||
|
||||
|
||||
@@ -117,7 +117,7 @@ install_config {
|
||||
# Boot image
|
||||
#
|
||||
|
||||
build_boot_image { core init timer
|
||||
build_boot_image { core ld.lib.so init timer
|
||||
remote_rom_server
|
||||
remote_rom_client
|
||||
dynamic_rom
|
||||
|
||||
@@ -63,7 +63,7 @@ install_config {
|
||||
# Boot image
|
||||
#
|
||||
|
||||
build_boot_image { core init timer
|
||||
build_boot_image { core ld.lib.so init timer
|
||||
remote_rom_client
|
||||
rom_logger
|
||||
nic_drv
|
||||
|
||||
@@ -77,7 +77,7 @@ install_config {
|
||||
# Boot image
|
||||
#
|
||||
|
||||
build_boot_image { core init timer
|
||||
build_boot_image { core ld.lib.so init timer
|
||||
remote_rom_server
|
||||
dynamic_rom
|
||||
nic_drv
|
||||
|
||||
Reference in New Issue
Block a user