From bad002acb16dc928644cbf2418e506e1a420d974 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Fri, 2 Mar 2018 09:50:35 +0100 Subject: [PATCH] hw: link core with debug symbols optionally This commit changes the semantic of run_boot_dir to link a core binary with debug symbols only when the designated library is in place. Follow-up fix refering to issues #2339 and #2700 --- tool/run/boot_dir/hw | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw index f386950fa9..92c3dc3b60 100644 --- a/tool/run/boot_dir/hw +++ b/tool/run/boot_dir/hw @@ -74,8 +74,10 @@ proc run_boot_dir {binaries} { set bootstrap_obj bootstrap-hw.o # create core and bootstrap binary without modules for debugging - build_core debug/$core_obj {} [run_dir].core [core_link_address] - build_core [run_dir]/genode/$bootstrap_obj {} [run_dir].bootstrap [bootstrap_link_address] + if {[file exists debug/$core_obj]} { + 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 set modules [glob -tails -directory [run_dir]/genode/ *]