diff options
Diffstat (limited to 'vendor/addr2line/coverage.sh')
| -rw-r--r-- | vendor/addr2line/coverage.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/vendor/addr2line/coverage.sh b/vendor/addr2line/coverage.sh deleted file mode 100644 index 892c0b7..0000000 --- a/vendor/addr2line/coverage.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/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 |