mirrors/arti.git/maint/with_coverage.sh, branch arti-v0.0.2

with_coverage: port to work with mawk

2021-11-24T17:55:38Z

The syntax is kinda minimal, but it seems to work okay.

with_coverage: detect missing llvm-tools-preview

2021-11-24T17:33:31Z

Applies a suggestion from @trinity-1686a

with_coverage: include command log in index.html

2021-11-23T22:09:27Z

This is a slight kludge, but it helps a lot to keep track of what exactly was tested for coverage.

with_coverage: Add flags to accumulate data over runs (or not)

2021-11-23T21:48:45Z

If the -c flag is provided, we _continue_ with the previous consensus_meta data (without deleting it). If the -s flag is provided, we _skip_ generating the final report (since we're going to be doing more profiling.)

with_coverage: Don't try to delete absent directories

2021-11-23T21:41:22Z

If the directories are absent, then deleting them gives you a line in stderr, even if you do "rm -f foo || true".

Let with_coverage take command-line flags.

2021-11-23T21:37:59Z

Now the shell is controlled by the presence of an -i flag, and can be combined with a command. This commit also adds usage messages and better reports for a couple of kinds of setup errors.

with_coverage: Wipe coverage_meta at the start of each run.

2021-11-23T21:03:02Z

Also improve comments and stdout slightly...

Add usage string from commit message to with_coverage.

2021-11-23T14:04:59Z

add with_coverage script

2021-11-23T14:04:59Z

usage: with_coverage [args...]: run with [args...] with_coverage : run bash