# HG changeset patch
# User ivo
# Date 1172663213 0
# Node ID 131563493cc457a2e24547fa7e208f748598ad01
# Parent  37248dbbf6ffc7a3bde74c961573ac6201c1fe49
clarify -none command line option

diff -r 37248dbbf6ff -r 131563493cc4 TOOLS/checktree.sh
--- a/TOOLS/checktree.sh	Wed Feb 28 09:18:42 2007 +0000
+++ b/TOOLS/checktree.sh	Wed Feb 28 11:46:53 2007 +0000
@@ -118,6 +118,7 @@
         printoption "stupid    " "test for stupid code" "$_stupid"
         echo
         printoption "all       " "enable all tests" "no"
+        echo  "                   (-noall can be specified as -none)"
         echo
         printoption "showcont  " "show offending content of file(s)" \
                                                                    "$_showcont"