| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
| |
The syntax is kinda minimal, but it seems to work okay.
|
| |
|
|
| |
Applies a suggestion from @trinity-1686a
|
| |
|
|
|
| |
This is a slight kludge, but it helps a lot to keep track of what
exactly was tested for coverage.
|
| |
|
|
|
|
|
|
| |
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.)
|
| |
|
|
|
| |
If the directories are absent, then deleting them gives you a line
in stderr, even if you do "rm -f foo || true".
|
| |
|
|
|
|
|
|
| |
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.
|
| |
|
|
| |
Also improve comments and stdout slightly...
|
| | |
|
|
|
usage: with_coverage <command> [args...]: run <command> with [args...]
with_coverage : run bash
|
