denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

run + noux_gdb: fix source archiving

Browse Source 
We do not have debug symbols in the bin/ binaries anymore. Thus, use the
debug/ binaries instead.  We now have kernel specific binary names for
ld.lib.so and some others. Adapt, to this fact as well.  For doing so
without unnecessary output, provide a new parameter "silent" at the
"kernel_specific_binary" procedure.

Ref #2398
This commit is contained in:
Martin Stein
2017-05-17 12:57:14 +02:00
committed by Christian Helmuth
parent d094ff995f
commit 228dbdd527
2 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tool/run/run
View File

@@ -451,14 +451,16 @@ proc kernel_location_from_config_file { config_file default_location } {
# case for regular binaries that appear in the boot directory under their
# original name.
#
proc kernel_specific_binary { binary } {
proc kernel_specific_binary { binary {silent ""} } {
regsub -all {\.} $binary "_" function_suffix
set function_name "binary_name_$function_suffix"
if {[info procs $function_name] == $function_name} {
set binary_name [$function_name]
puts "using '$binary_name' as '$binary'"
if {$silent != "silent"} {
puts "using '$binary_name' as '$binary'"
}
return [$function_name]
}