gerrit.named-data.net / ndn-atmos / 95d6450076e56ec64958707106306223d4e844b1 / .jenkins.d / 40-coverage.sh