diff options
Diffstat (limited to 'tools/test.nom')
| -rwxr-xr-x | tools/test.nom | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/test.nom b/tools/test.nom index 0202675..1e135db 100755 --- a/tools/test.nom +++ b/tools/test.nom @@ -13,7 +13,12 @@ for $filename in $(COMMAND LINE ARGS).extras: use $filename $tests = {: for $s = $t in $TESTS: add (=lua "Source:from_string(\$s)") = $t} for $filename in $(COMMAND LINE ARGS).extras: $file = (read file $filename) - $version = ($file, matching "#![^\n]* nomsu %-V[ ]*([^\n]*)") + $version = + $file, matching (" + #![^ + ]* nomsu %-V[ ]*([^ + ]*) + ") $file_tests = [] for $src = $test in $tests: if ($src.filename == $filename): |
