gerrit.named-data.net / ndn-atmos / 7b978f89c3509b34097584f6a807c3637a8e28c0 / .jenkins.d / 40-coverage.sh