diff --git a/scripts/jenkins/coverage.groovy b/scripts/jenkins/coverage.groovy index fee07fea5dfcbdc737d52894cb07096d617c1349..268f7fa9f7bc052e839a818a58ae9b513b87cf88 100644 --- a/scripts/jenkins/coverage.groovy +++ b/scripts/jenkins/coverage.groovy @@ -13,7 +13,7 @@ image.inside(defaultDockerArgs) { stage('Build (Coverage)') { build.linux( script: this, - target: 'testrunner_coverage_cobertura ctest_coverage_cobertura' + target: 'testrunner_coverage_cobertura' ) } }