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