diff options
Diffstat (limited to 'tools/addToolVersion.sh')
-rwxr-xr-x | tools/addToolVersion.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/addToolVersion.sh b/tools/addToolVersion.sh index 5a53ea7e..ace6bb76 100755 --- a/tools/addToolVersion.sh +++ b/tools/addToolVersion.sh @@ -57,8 +57,10 @@ done [ -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 |