diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-10-03 11:34:54 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-10-03 11:34:54 +0200 |
| commit | e64575ce2bf60364c9861dfe2c39dbbf6b5d5720 (patch) | |
| tree | 967d7b9c8026a1752b512fcbe6b6e8bb2bea86fa /eclass | |
| parent | kde-plasma/plasma-workspace: Needs dev-qt/qtwayland private headers (diff) | |
| download | gentoo-e64575ce2bf60364c9861dfe2c39dbbf6b5d5720.tar.gz gentoo-e64575ce2bf60364c9861dfe2c39dbbf6b5d5720.tar.bz2 gentoo-e64575ce2bf60364c9861dfe2c39dbbf6b5d5720.zip | |
eclass/dune.eclass: build with release profile
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to '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() { |