From 7673fed1f19b0649d567933b04b741287756ec42 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 16 Jun 2017 22:27:40 +0200 Subject: [PATCH] nova: avoid copying core.o to image file --- tool/run/boot_dir/nova | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova index 8b3fbce3d..a74582324 100644 --- a/tool/run/boot_dir/nova +++ b/tool/run/boot_dir/nova @@ -42,7 +42,7 @@ proc run_boot_dir {binaries} { if {[llength $targets]} { build $targets } if {$kernel_arg != ""} { file copy -force bin/hypervisor [run_dir]/genode/hypervisor } - if {$core_arg != ""} { file copy -force bin/core-nova.o [run_dir]/genode/core.o } + if {$core_arg != ""} { file copy -force bin/core-nova.o [run_dir]/genode/core-nova.o } if {$ld_arg != ""} { file copy -force bin/ld-nova.lib.so [run_dir]/genode/ld.lib.so } #