From a67b23eb2d44cc412d4ceb9e3294a0dfb8f43a6d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 25 Mar 2019 11:16:43 +0100
Subject: [PATCH] test.run: handle '*' wildcards

---
 repos/os/run/test.run | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/run/test.run b/repos/os/run/test.run
index 7e924dff39..e7e9a5da52 100644
--- a/repos/os/run/test.run
+++ b/repos/os/run/test.run
@@ -273,6 +273,9 @@ proc query_expected_log_pattern { } {
 		foreach char [list {[} {]} {(} {)} {.}] {
 			regsub -all "\\$char" $line "\\$char" line }
 
+		# replace wildcards by non-greedy regexp wildcards
+		regsub -all {\*} $line {.*?} line
+
 		lappend prefixed_lines "$line.*?"
 	}