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

okl4: support run script name containing "core"

Browse Source 
Issue #2207
This commit is contained in:
Alexander Boettcher
2017-12-12 20:54:29 +01:00
committed by Christian Helmuth
parent 9f140ab843
commit 30fd10933a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/okl4
View File

@@ -127,7 +127,7 @@ proc run_boot_dir {binaries} {
puts $fh {<!DOCTYPE image SYSTEM "weaver-1.1.dtd">}
puts $fh {<image>}
regsub okl4_kernel $weaver_xml_template "[run_dir]/genode/okl4" weaver_xml_template
regsub core $weaver_xml_template "[run_dir].image" weaver_xml_template
regsub \"core\" $weaver_xml_template "\"[run_dir].image\"" weaver_xml_template
puts $fh $weaver_xml_template
puts $fh {</image>}
close $fh