From 91a8c8975d6209643b1810616dcae5ed9ede7d48 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Tue, 9 May 2017 12:59:13 +0200 Subject: [PATCH] run: provide core image with path information Previously, the debugging version of the core image (/var/run/.core) was created by the run tool from the common core object file (/var/run//core-.o). This object file, however, was already stripped by the build system and thus didn't contain debug info anymore. The build system also creates an unstripped version in /debug/core-.o, so we now use this one for /var/run/.core. Ref #2254 --- tool/run/boot_dir/hw | 2 +- tool/run/run | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw index f176253321..76626c584a 100644 --- a/tool/run/boot_dir/hw +++ b/tool/run/boot_dir/hw @@ -74,7 +74,7 @@ proc run_boot_dir {binaries} { set bootstrap_obj bootstrap-hw.o # create core and bootstrap binary without modules for debugging - build_core [run_dir]/genode/$core_obj {} [run_dir].core [core_link_address] + build_core debug/$core_obj {} [run_dir].core [core_link_address] build_core [run_dir]/genode/$bootstrap_obj {} [run_dir].bootstrap [bootstrap_link_address] # determine modules to be incorporated into the core image diff --git a/tool/run/run b/tool/run/run index b90989d93e..0cde1b8f8f 100755 --- a/tool/run/run +++ b/tool/run/run @@ -784,7 +784,7 @@ proc build_core_image { modules } { copy_genode_binaries_to_run_dir $modules # create core binary without modules for debugging - build_core [run_dir]/genode/$core_obj {} [run_dir].core [core_link_address] + build_core debug/$core_obj {} [run_dir].core [core_link_address] # determine modules to be incorporated into the core image set modules [glob -nocomplain -tails -directory [run_dir]/genode/ *]