From 30fd10933ad0357a7d9eb0281d7549dd03d9a534 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 12 Dec 2017 20:54:29 +0100
Subject: [PATCH] okl4: support run script name containing "core"

Issue #2207
---
 tool/run/boot_dir/okl4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run/boot_dir/okl4 b/tool/run/boot_dir/okl4
index 2798103c7b..e8d64454d9 100644
--- a/tool/run/boot_dir/okl4
+++ b/tool/run/boot_dir/okl4
@@ -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