diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-10-08 23:06:07 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-10-08 23:06:07 +0100 |
| commit | e23a08d0c97a0cc415aaa165da840b056f93c997 (patch) | |
| tree | 4c5f7db60483518201fef36f8cc0712789a08db2 /eclass/dune.eclass | |
| parent | 391b5b359a346aff490103da7dddc85047f83830 (diff) | |
gentoo resync : 08.10.2021
Diffstat (limited to 'eclass/dune.eclass')
| -rw-r--r-- | eclass/dune.eclass | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eclass/dune.eclass b/eclass/dune.eclass index 5e2c1fa1f7c4..02a8a870ef43 100644 --- a/eclass/dune.eclass +++ b/eclass/dune.eclass @@ -42,7 +42,7 @@ case ${EAPI:-0} in esac dune_src_compile() { - dune build @install || die + dune build @install --profile release || die } dune_src_test() { |