diff options
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 4653db3ae791..5b0418152da0 100644 --- a/eclass/dune.eclass +++ b/eclass/dune.eclass @@ -50,7 +50,7 @@ dune_src_compile() { dune_src_test() { ebegin "Testing" - dune runtest + dune runtest --profile release eend $? || die } |