diff options
Diffstat (limited to 'vendor/addr2line-0.17.0/coverage.sh')
| -rw-r--r-- | vendor/addr2line-0.17.0/coverage.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/vendor/addr2line-0.17.0/coverage.sh b/vendor/addr2line-0.17.0/coverage.sh new file mode 100644 index 000000000..892c0b7fa --- /dev/null +++ b/vendor/addr2line-0.17.0/coverage.sh @@ -0,0 +1,5 @@ +#!/bin/sh +# Run tarpaulin and pycobertura to generate coverage.html. + +cargo tarpaulin --skip-clean --out Xml +pycobertura show --format html --output coverage.html cobertura.xml |