diff options
-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 |