From 06fdb9e4ceedbfdad49333ddf18167528328abfc Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 6 Dec 2016 17:22:31 +0100 Subject: [PATCH] Build dynamically linked executables by default This patch is related to the following issue: https://github.com/genodelabs/genode/issues/2184 --- run/log_tee.run | 2 +- run/remote_rom_backend_nic_ip.run | 2 +- run/remote_rom_backend_nic_ip_client.run | 2 +- run/remote_rom_backend_nic_ip_server.run | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/run/log_tee.run b/run/log_tee.run index 17729e0..a5f1c04 100644 --- a/run/log_tee.run +++ b/run/log_tee.run @@ -26,7 +26,7 @@ install_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" diff --git a/run/remote_rom_backend_nic_ip.run b/run/remote_rom_backend_nic_ip.run index 9d1ad29..d9e2a99 100644 --- a/run/remote_rom_backend_nic_ip.run +++ b/run/remote_rom_backend_nic_ip.run @@ -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 diff --git a/run/remote_rom_backend_nic_ip_client.run b/run/remote_rom_backend_nic_ip_client.run index 447e8bc..72b7ec9 100644 --- a/run/remote_rom_backend_nic_ip_client.run +++ b/run/remote_rom_backend_nic_ip_client.run @@ -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 diff --git a/run/remote_rom_backend_nic_ip_server.run b/run/remote_rom_backend_nic_ip_server.run index c044f15..27f45b7 100644 --- a/run/remote_rom_backend_nic_ip_server.run +++ b/run/remote_rom_backend_nic_ip_server.run @@ -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