From da5b0ff316284188fa7a6415e722e33fee17f2f7 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 22 Feb 2012 12:37:33 +0100 Subject: [PATCH] Remove unneeded libm from boot modules --- ports/run/noux_fork.run | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ports/run/noux_fork.run b/ports/run/noux_fork.run index 657c6c5e84..e1a2e50b6a 100644 --- a/ports/run/noux_fork.run +++ b/ports/run/noux_fork.run @@ -54,7 +54,7 @@ install_config { } build_boot_image { - core init timer uart_drv ld.lib.so noux libc.lib.so libm.lib.so + core init timer uart_drv ld.lib.so noux libc.lib.so libc_noux.lib.so noux_fork.tar } @@ -68,7 +68,6 @@ append qemu_args " -nographic" append qemu_args " -serial mon:stdio" append qemu_args " -serial file:$noux_output_file" -#run_genode_until "child exited with exit value 0.*\n" 20 run_genode_until "child.*exited.*\n" 20 puts "[exec cat $noux_output_file]"