diff --git a/buildconfig/Jenkins/buildscript b/buildconfig/Jenkins/buildscript index 81ffdcb4812faf19b0d541e7b673800a284c7a81..6bd49c13a39c12654219e84c84ecf2c615fbcab9 100755 --- a/buildconfig/Jenkins/buildscript +++ b/buildconfig/Jenkins/buildscript @@ -201,7 +201,7 @@ $SCL_ON_RHEL6 "cmake ${CMAKE_GENERATOR} -DCMAKE_BUILD_TYPE=${BUILD_CONFIG} -DENA # Coverity build should exit early ############################################################################### if [[ ${JOB_NAME} == *coverity_build_and_submit* ]]; then - ${COVERITY_DIR}/cov-build --dir cov-int ninja-build -j ${BUILD_THREADS} + ${COVERITY_DIR}/cov-build --dir cov-int cmake --build . -- -j ${BUILD_THREADS} tar czvf mantid.tgz cov-int status=$(curl --form token=$COVERITY_TOKEN --form email=mantidproject@gmail.com \ --form file=@mantid.tgz --form version=$GIT_COMMIT \