diff options
author | Ludovic Courtès <ludo@gnu.org> | 2024-11-24 22:58:22 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-12-01 20:14:15 +0100 |
commit | a6334223719bf6b2695d2dc0e75dbfe69e901bd7 (patch) | |
tree | f59a0ab9330478e64f26d873566c558a1c26a67e /etc | |
parent | bc3c89a475bfef0e7485538a9728c23d356de6bf (diff) |
guix build: Add ‘--development’ option.
* guix/scripts/build.scm (show-help, %options): Add ‘-D’.
(options->things-to-build): Change ‘append-map’ to a loop. Honor ‘-D’.
* tests/guix-build.sh: Add test.
* doc/guix.texi (Additional Build Options): Document it.
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: I99227aadfe861e43c001a4872292bd687b37f5d4
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions