From 28dc9e4428361487cc462009700ae2fbb451c124 Mon Sep 17 00:00:00 2001 From: Timothy Warren Date: Thu, 20 Feb 2020 11:57:04 -0500 Subject: [PATCH] Use the correct make command for coverage generation --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index a48167a..ee79cd5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,7 +19,7 @@ pipeline { stage('Coverage') { steps { sh "cargo install cargo-tarpaulin" - sh "make coverage" + sh "make generate-coverage" } } }