diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 21:48:35 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:29:06 +0100 |
| commit | 87e7faa2ae641d8302efc8b90f1e45f43f67f6da (patch) | |
| tree | ca738a80ce423af14ac1b118226ef3a8444d8345 /gnu/packages/patches | |
| parent | d17e012da7b41165cb49a5604a773459736144e3 (diff) | |
| download | guix-87e7faa2ae641d8302efc8b90f1e45f43f67f6da.tar guix-87e7faa2ae641d8302efc8b90f1e45f43f67f6da.tar.gz | |
time-machine: Honor the standard build options.
* guix/scripts/time-machine.scm (show-help): Call 'show-build-options-help'.
(%options): Add %STANDARD-BUILD-OPTIONS.
(%default-options): New variable.
(parse-args): Pass (list %default-options) to 'parse-command-line' and
remove #:build-options? parameter.
(guix-time-machine): Call 'set-build-options-from-command-line' and wrap
'cached-channel-instance' call in 'with-status-verbosity'.
* doc/guix.texi (Invoking guix time-machine): Mention common build options.
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions