summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-03-04 20:12:18 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-03-04 20:12:18 (GMT)
commit8456b5fdb907bfc2601e4fa8e4d54b67ac75a19a (patch)
tree20ccd773921884bec3129d94af0c23dc722fec8d /tools
parentd2ac914c75172ecc7d3e3b2ee783917b245ec8a0 (diff)
Add sanity checks.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/addToolVersion.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/addToolVersion.sh b/tools/addToolVersion.sh
index 5a53ea7..ace6bb7 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