diff options
author | Vincent Sanders <vincent.sanders@collabora.co.uk> | 2013-11-16 13:15:14 +0000 |
---|---|---|
committer | Vincent Sanders <vincent.sanders@collabora.co.uk> | 2013-11-16 13:15:14 +0000 |
commit | 9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6 (patch) | |
tree | bc1aa3d20c1fcf1e2ba1619de352a183c9c9b3da | |
parent | 37a7809308f3a2f7dac2ce6feab1aa9c1113fdc8 (diff) | |
download | buildsystem-9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6.tar.gz buildsystem-9e91f093b10d4e15a6e1ec75f246e9cdf31b39d6.tar.bz2 |
fix null check logic
-rwxr-xr-x | citools/jenkins-build.sh | 2 |
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 |