diff --git a/Code/Mantid/Build/Jenkins/buildscript b/Code/Mantid/Build/Jenkins/buildscript index 857b6cfa7351cc2700311b81d7e2f7aeca79abdc..be8c2a4b3260270fcd6f9712be442119b73b3fc6 100755 --- a/Code/Mantid/Build/Jenkins/buildscript +++ b/Code/Mantid/Build/Jenkins/buildscript @@ -104,10 +104,12 @@ if [[ ${JOB_NAME} == *coverity_build_and_submit* ]]; then status=$(curl --form token=$COVERITY_TOKEN --form email=mantidproject@gmail.com \ --form file=@mantid.tgz --form version=$GIT_COMMIT \ https://scan.coverity.com/builds?project=mantidproject%2Fmantid) - if [[ ${status} ]]; then - exit 1 - else + status=$(echo ${status} | sed -e 's/^ *//' -e 's/ *$//') + if [[ -z $status ]]; then exit 0 + else + echo "$status" + exit 1 fi fi