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 /etc | |
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 'etc')
0 files changed, 0 insertions, 0 deletions