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 /doc/images | |
parent | 5c5e9d4e50af20042947b6b55e462a25b9d8cfc7 (diff) | |
download | 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 'doc/images')
0 files changed, 0 insertions, 0 deletions