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