diff options
| author | pukkamustard <pukkamustard@posteo.net> | 2021-09-07 13:41:12 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-09-08 13:39:27 +0200 |
| commit | f8f94cc5446753b37ab3ddd23e21919efd006769 (patch) | |
| tree | c069489b0e3c8b3354b435373bb875c408b5efc3 /gnu/installer | |
| parent | 5c5e9d4e50af20042947b6b55e462a25b9d8cfc7 (diff) | |
| download | guix-f8f94cc5446753b37ab3ddd23e21919efd006769.tar guix-f8f94cc5446753b37ab3ddd23e21919efd006769.tar.gz | |
guix: dune-build-system: Put dune into a reproducible release mode.
* guix/build/dune-build-system.scm (build,check): Replace the profile parameter
with the appropriate release flags.
* guix/build-system/dune.scm: Remove the profile parameter.
* doc/guix.texi: Remove paragraph on profile parameter.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/installer')
0 files changed, 0 insertions, 0 deletions