changeset 22359:206b4600a956

also respond to --help, -h and -? command line options
author ivo
date Wed, 28 Feb 2007 11:50:23 +0000
parents 98d5ee376a61
children 1307456a4c61
files TOOLS/checktree.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/checktree.sh	Wed Feb 28 11:48:32 2007 +0000
+++ b/TOOLS/checktree.sh	Wed Feb 28 11:50:23 2007 +0000
@@ -105,7 +105,7 @@
 
 for i in "$@"; do
     case "$i" in
-    -help)
+    -help|--help|-h|-\?)
         echo -e "\n$0 [options] [files]\n"
         echo -e "options:\n"
         printoption "spaces    " "test for spaces in filenames" "$_spaces"