diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 01:02:46 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-31 01:02:46 -0800 |
| commit | d8f9b15fd9da8c9ae29ee0b63c4302e5efbde387 (patch) | |
| tree | 418278e778d5bdfcd884e31be612c04c05c2a3dd /tools/test.nom | |
| parent | 0f83a81fa6d2c131aea747da035a53019f3d7d2a (diff) | |
Cleaning up some of the documentation and dead code.
Diffstat (limited to 'tools/test.nom')
| -rwxr-xr-x | tools/test.nom | 2 |
1 files changed, 1 insertions, 1 deletions
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" |