diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-02-10 13:28:41 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-02-13 10:12:53 +0100 |
| commit | a84bbdd30ab53bfca2ccdbe131cd5183f133b4e2 (patch) | |
| tree | a09f3a3efbd1aa773ac70b9baa3d24a09e74e1a6 /eclass/dune.eclass | |
| parent | app-emulation/edumips64: treeclean (diff) | |
| download | gentoo-a84bbdd30ab53bfca2ccdbe131cd5183f133b4e2.tar.gz gentoo-a84bbdd30ab53bfca2ccdbe131cd5183f133b4e2.tar.bz2 gentoo-a84bbdd30ab53bfca2ccdbe131cd5183f133b4e2.zip | |
eclass/dune.eclass: inherit multiprocessing
in order to run up to makeopts_jobs number of jobs
in dune_src_compile and dune_src_test
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'eclass/dune.eclass')
| -rw-r--r-- | eclass/dune.eclass | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/eclass/dune.eclass b/eclass/dune.eclass index 9b5c469dcadf..522dc2a8b52f 100644 --- a/eclass/dune.eclass +++ b/eclass/dune.eclass @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 # @ECLASS: dune.eclass @@ -26,6 +26,8 @@ case ${EAPI:-0} in *) die "${ECLASS}: EAPI ${EAPI} not supported" ;; esac +inherit multiprocessing + # Do not complain about CFLAGS etc since ml projects do not use them. QA_FLAGS_IGNORED='.*' @@ -44,13 +46,13 @@ esac dune_src_compile() { ebegin "Building" - dune build @install --display short --profile release + dune build @install -j $(makeopts_jobs) --profile release eend $? || die } dune_src_test() { ebegin "Testing" - dune runtest --display short --profile release + dune runtest -j $(makeopts_jobs) --profile release eend $? || die } |