summaryrefslogtreecommitdiff
path: root/maint/with_coverage.sh
Commit message (Expand)AuthorAgeFilesLines
* with_coverage: port to work with mawkNick Mathewson2021-11-241-5/+7
* with_coverage: detect missing llvm-tools-previewNick Mathewson2021-11-241-0/+6
* with_coverage: include command log in index.htmlNick Mathewson2021-11-231-0/+16
* with_coverage: Add flags to accumulate data over runs (or not)Nick Mathewson2021-11-231-2/+15
* with_coverage: Don't try to delete absent directoriesNick Mathewson2021-11-231-2/+6
* Let with_coverage take command-line flags.Nick Mathewson2021-11-231-8/+65
* with_coverage: Wipe coverage_meta at the start of each run.Nick Mathewson2021-11-231-0/+6
* Add usage string from commit message to with_coverage.Nick Mathewson2021-11-231-0/+3
* add with_coverage scriptTrinity Pointard2021-11-231-0/+30