Merge pull request #1733 from daviddavis/jenkinscov

Changes to coverage script for Jenkins
x