diff -r eeea35fbf182 -r 94a0eae9fe9f tools/addToolVersion.sh --- a/tools/addToolVersion.sh Sat Feb 24 11:00:05 2007 +0000 +++ b/tools/addToolVersion.sh Sun Mar 04 20:12:18 2007 +0000 @@ -57,8 +57,10 @@ [ -n "${tool}" -o -n "${VERSION}" ] || { doHelp; exit 1; } case "${cat}" in - CC) ;; - KERNEL) FINAL=; CORE=;; + CC) [ -z "${CORE}" -a -z "${FINAL}" ] && { doHelp; exit 1; };; + KERNEL) unset FINAL CORE + [ -z "${tool_suffix}" ] && { doHelp; exit 1; } + ;; *) FINAL=1; CORE=;; esac