summaryrefslogtreecommitdiff
path: root/maint/with_coverage.sh
Commit message (Expand)AuthorAgeFilesLines
* Change which command to command -vDaniel Schischkin2022-01-291-2/+2
* with_coverage: resolve a shellcheck warningNick Mathewson2022-01-271-2/+4
* Once more exclude arti-bench from coverage.Nick Mathewson2022-01-271-0/+1
* with_coverage.sh: split grcov options into separate lines.Nick Mathewson2022-01-271-4/+12
* Merge branch 'coverage-tracking' into 'main'eta2022-01-271-9/+23
|\
| * Add changes in `maint`Arturo Marquez2022-01-261-9/+23
* | with_coverage: Allow toolchain selection.Nick Mathewson2022-01-201-6/+7
|/
* Exclude arti-bench from coverage.Nick Mathewson2021-12-211-1/+1
* Postprocess coverage index.html with python insteadNick Mathewson2021-12-011-21/+13
* 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