resolve path differences with coverage combine using a coveragerc file specifically for jenkins

Conflicts: scripts/jenkins-report.sh
2015-05-04 15:16:21 -04:00
parent 41a9e027f0
commit 590a64bed1
3 changed files with 19 additions and 5 deletions
--- a/scripts/jenkins-report.sh
+++ b/scripts/jenkins-report.sh
@@ -2,7 +2,7 @@
 source scripts/jenkins-common.sh

 # Combine the data files that were generated using -p
-paver combine_coverage
+paver combine_jenkins_coverage

 # Get the diff coverage and html reports for unit tests
 paver coverage