diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-30 23:58:47 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-30 23:58:47 -0800 |
| commit | 5059c081ac624ede925d5256885509ddd17181c6 (patch) | |
| tree | 0457d135e5193126bf73466bfaae09df94ab8a7d /tools/test.nom | |
| parent | ec69ee6f62016a2edcc13e3183cbe4cadd75717f (diff) | |
Auto-upgraded code.
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): |
