diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/parse.nom | 2 | ||||
| -rwxr-xr-x | tools/test.nom | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/parse.nom b/tools/parse.nom index d28c80c..ac9c42f 100755 --- a/tools/parse.nom +++ b/tools/parse.nom @@ -24,7 +24,7 @@ externally (print tree $t at indent $indent) means: say "\$indent\($t.1)" "Var": - say "\($indent)%\($t.1)" + say "\($indent)$\($t.1)" else: say "\$indent\($t.type):" diff --git a/tools/test.nom b/tools/test.nom index a2cd992..67afb96 100755 --- a/tools/test.nom +++ b/tools/test.nom @@ -1,6 +1,6 @@ #!/usr/bin/env nomsu -V6.13.12.8 # - Tool to run all tests in a file (i.e. the code block inside a call to 'test %'). Usage: + Tool to run all tests in a file (i.e. the code block inside a call to 'test $'). Usage: nomsu tools/test.nom file1 file2 directory1 ... use "lib/os.nom" |