aboutsummaryrefslogtreecommitdiff
path: root/contrib/coverage.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-06-03 10:44:57 +0200
committerChristian Grothoff <christian@grothoff.org>2019-06-03 10:44:57 +0200
commitc241694ccb6de36971a27f144433521f30f92fa3 (patch)
tree6d42cca8040e0f568ce7550290c30edb18b26b34 /contrib/coverage.sh
parent2cea0eb4d2ee117a48703370a4ff4be6b275df0f (diff)
check more return values
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions