From d8f9b15fd9da8c9ae29ee0b63c4302e5efbde387 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 31 Dec 2018 01:02:46 -0800 Subject: Cleaning up some of the documentation and dead code. --- tools/test.nom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/test.nom') 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" -- cgit v1.2.3