diff --git a/Jenkinsfile b/Jenkinsfile index a030dbd310..cc60444018 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -95,7 +95,7 @@ pipeline { reportName: 'Code Coverage' ] withCredentials([string(credentialsId: 'ECL_CODECOV_TOKEN', variable: 'CODECOV_TOKEN')]) { - sh 'curl -s https://codecov.io/bash | bash -s' + sh 'curl -s https://codecov.io/bash | bash -s - -F ecl_tests' } sh 'ccache -s' sh 'make distclean'