diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-01-25 13:57:38 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-25 14:06:37 +0100 |
commit | bd414e273c2010132895a645b623035c218eb437 (patch) | |
tree | df696fb69afd8a9a7c37a2fcf4c0377460f64481 /configure.ac | |
parent | af77219e8a59c9d04cda349b26b7f30ea5cf3ab1 (diff) |
weather: Add '--coverage'.
* guix/scripts/weather.scm (show-help, %options): Add '--coverage'.
(package-partition-boundary, package->output-mapping)
(substitute-oracle, report-package-coverage-per-system)
(report-package-coverage): New procedures.
(guix-weather): Honor '--coverage'.
* doc/guix.texi (Invoking guix weather): Document it.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions