gerrit.named-data.net / repo-ng / d606ecf0c85564e5ef4808245f081b19b8e84f5a / .jenkins.d / 30-coverage.sh