diff -r eeea35fbf182 -r 2dce00870893 tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Sat Feb 24 11:00:05 2007 +0000
+++ b/tools/addToolVersion.sh	Wed Apr 11 17:51:31 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