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