mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
test.run: handle '*' wildcards
This commit is contained in:
@@ -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.*?"
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user