diff -r 7f9bbf94b0bb -r b17ff3b6a04f tools/addToolVersion.sh --- a/tools/addToolVersion.sh Wed Apr 30 10:43:41 2008 +0000 +++ b/tools/addToolVersion.sh Sun Jan 31 13:15:57 2010 +0100 @@ -66,7 +66,7 @@ --copy) tool_suffix=copy;; # Misc: -h|--help) doHelp; exit 0;; - -*) echo "Unknown option: \"${!i}\". (use -h/--help for help"; exit 1;; + -*) echo "Unknown option: \"${!i}\" (use -h/--help for help)."; exit 1;; *) VERSION="${VERSION} ${!i}";; esac i=$((i+1))