maint: provide no list of grcov formats

This commit removes a list we provide for the supported grcov formats.
In my opinion, this is a practice of bad software engineering, as we would then
have to maintain this list by ourselves.

Therefore, this commit removes this list from the `maint/with_coverage` script
and replaces it with a references to the accompanying grcov command.
This commit is contained in:
Emil Engler 2023-08-08 16:15:25 +02:00
parent fa595875ec
commit e584cc8c08
No known key found for this signature in database
GPG Key ID: 2F6D4145C55FC7C7
1 changed files with 2 additions and 2 deletions

View File

@ -18,8 +18,8 @@ Options:
-i: Run an interactive shell after the command (if any) -i: Run an interactive shell after the command (if any)
-c: Continue using data from previous runs. (By default, data is deleted.) -c: Continue using data from previous runs. (By default, data is deleted.)
-s: Skip generating a final report. -s: Skip generating a final report.
-f <format>: format to use when generating coverage report. one of html (default), ade, -f <format>: format to use when generating coverage report. Defaults to html.
lcov, coveralls, coveralls+, files, covdir, or cobertura See "grcov --help" for a full list of supported formats.
-o <path>: set the output path for the coverage report (default "coverage") -o <path>: set the output path for the coverage report (default "coverage")
Notes: Notes: