tools/addToolVersion.sh
changeset 10 94a0eae9fe9f
parent 1 eeea35fbf182
child 43 f3b4bb1e501b
     1.1 --- a/tools/addToolVersion.sh	Sat Feb 24 11:00:05 2007 +0000
     1.2 +++ b/tools/addToolVersion.sh	Sun Mar 04 20:12:18 2007 +0000
     1.3 @@ -57,8 +57,10 @@
     1.4  [ -n "${tool}" -o -n "${VERSION}" ] || { doHelp; exit 1; }
     1.5  
     1.6  case "${cat}" in
     1.7 -    CC)     ;;
     1.8 -    KERNEL) FINAL=; CORE=;;
     1.9 +    CC)     [ -z "${CORE}" -a -z "${FINAL}" ] && { doHelp; exit 1; };;
    1.10 +    KERNEL) unset FINAL CORE
    1.11 +            [ -z "${tool_suffix}" ] && { doHelp; exit 1; }
    1.12 +            ;;
    1.13      *)      FINAL=1; CORE=;;
    1.14  esac
    1.15