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