tools/addToolVersion.sh
changeset 473 731718e6ffdc
parent 466 7f9bbf94b0bb
child 523 010f6f4e4dd6
     1.1 --- a/tools/addToolVersion.sh	Wed Apr 30 10:43:41 2008 +0000
     1.2 +++ b/tools/addToolVersion.sh	Fri May 02 17:49:29 2008 +0000
     1.3 @@ -66,7 +66,7 @@
     1.4          --copy)             tool_suffix=copy;;
     1.5          # Misc:
     1.6          -h|--help)          doHelp; exit 0;;
     1.7 -        -*)                 echo "Unknown option: \"${!i}\". (use -h/--help for help"; exit 1;;
     1.8 +        -*)                 echo "Unknown option: \"${!i}\" (use -h/--help for help)."; exit 1;;
     1.9          *)                  VERSION="${VERSION} ${!i}";;
    1.10      esac
    1.11      i=$((i+1))