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 | |
| parent | 5c5e9d4e50af20042947b6b55e462a25b9d8cfc7 (diff) | |
| download | guix-patches-f8f94cc5446753b37ab3ddd23e21919efd006769.tar guix-patches-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')
| -rw-r--r-- | doc/guix.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 679f6b4369..29246ad4e5 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -7735,11 +7735,6 @@ is useful when a package contains multiple packages and you want to build only one of them. This is equivalent to passing the @code{-p} argument to @code{dune}. -The @code{#:profile} parameter can be passed to specify the -@uref{https://dune.readthedocs.io/en/stable/dune-files.html#profile, -dune build profile}. This is equivalent to passing the @code{--profile} -argument to @code{dune}. Its default value is @code{"release"}. - @end defvr @defvr {Scheme Variable} go-build-system |