1 |
commit: e64575ce2bf60364c9861dfe2c39dbbf6b5d5720 |
2 |
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Oct 3 09:34:54 2021 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Oct 3 09:34:54 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e64575ce |
7 |
|
8 |
eclass/dune.eclass: build with release profile |
9 |
|
10 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
11 |
|
12 |
eclass/dune.eclass | 2 +- |
13 |
1 file changed, 1 insertion(+), 1 deletion(-) |
14 |
|
15 |
diff --git a/eclass/dune.eclass b/eclass/dune.eclass |
16 |
index 5e2c1fa1f7c..02a8a870ef4 100644 |
17 |
--- a/eclass/dune.eclass |
18 |
+++ b/eclass/dune.eclass |
19 |
@@ -42,7 +42,7 @@ case ${EAPI:-0} in |
20 |
esac |
21 |
|
22 |
dune_src_compile() { |
23 |
- dune build @install || die |
24 |
+ dune build @install --profile release || die |
25 |
} |
26 |
|
27 |
dune_src_test() { |