Build in parallel.

This commit is contained in:
Jerry James 2020-01-15 16:50:45 -07:00
parent 7b2e5acd3f
commit 63a90614b6
1 changed files with 1 additions and 1 deletions

View File

@ -60,7 +60,7 @@ developing applications that use %{name}.
%autosetup -n %{upname}-%{gittag}
%build
dune build
dune build %{?_smp_mflags}
# The dune rule for building documentation requires odoc. However, odoc
# transitively depends on this package, so we build documentation manually.