diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-01-15 22:28:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-01-15 22:47:25 +0100 |
| commit | 6da5bb7b1b7ddf4aa5a5efcb83250506bcd67036 (patch) | |
| tree | f7d481199bf0c72442ae0f65edafed8c85f46b67 /gnu/packages/patches | |
| parent | abdc5f345caf97b7c9dd3e266e27f0cc0133dc6b (diff) | |
guix build: Add '--repair'.
* guix/scripts/build.scm (show-help, %options): Add '--repair'.
* doc/guix.texi (Invoking guix gc): Mention 'guix build --repair'.
(Additional Build Options): Document it.
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions