summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVincent Sanders <vincent.sanders@collabora.co.uk>2013-11-16 13:15:14 +0000
committerVincent Sanders <vincent.sanders@collabora.co.uk>2013-11-16 13:15:14 +0000
commit9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6 (patch)
treebc1aa3d20c1fcf1e2ba1619de352a183c9c9b3da
parent37a7809308f3a2f7dac2ce6feab1aa9c1113fdc8 (diff)
downloadbuildsystem-9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6.tar.gz
buildsystem-9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6.tar.bz2
fix null check logic
-rwxr-xr-xcitools/jenkins-build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh
index 4ea0a8c..047806a 100755
--- a/citools/jenkins-build.sh
+++ b/citools/jenkins-build.sh
@@ -169,7 +169,7 @@ elif [ "x${TARGET}" = "x${TARGET_COVERITY}" ]; then
# COVERITY_USER
# COVERITY_PREFIX
- if [ -n "${COVERITY_PROJECT}" -o -n "${COVERITY_TOKEN}" -o -n "${COVERITY_USER}" -o -n "${COVERITY_PREFIX}" ]; then
+ if [ -z "${COVERITY_PROJECT}" -o -z "${COVERITY_TOKEN}" -o -z "${COVERITY_USER}" -o -z "${COVERITY_PREFIX}" ]; then
echo "Coverity parameters not set"
exit 1
fi