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 /m4 | |
parent | af77219e8a59c9d04cda349b26b7f30ea5cf3ab1 (diff) | |
download | guix-bd414e273c2010132895a645b623035c218eb437.tar.gz |
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 'm4')
0 files changed, 0 insertions, 0 deletions