diff options
| author | William Pitcock <nenolod@dereferenced.org> | 2017-06-30 22:22:09 +0000 |
|---|---|---|
| committer | William Pitcock <nenolod@dereferenced.org> | 2017-06-30 22:22:09 +0000 |
| commit | a786d1bafaa02bf752cb553562c343e9b0c96b3c (patch) | |
| tree | a5639153b7221cd35a5a1530e402c29d0abeb62f /community | |
| parent | 118568f8a5b9524d5f0b36a26dae9ecfbb093a55 (diff) | |
| download | aports-a786d1bafaa02bf752cb553562c343e9b0c96b3c.tar.bz2 aports-a786d1bafaa02bf752cb553562c343e9b0c96b3c.tar.xz | |
community/ocaml-findlib: use make -j1 for now due to parallelism problems on highly parallel builders (like ppc64le)
Diffstat (limited to 'community')
| -rw-r--r-- | community/ocaml-findlib/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/community/ocaml-findlib/APKBUILD b/community/ocaml-findlib/APKBUILD index 599896cd52..1d766af6ca 100644 --- a/community/ocaml-findlib/APKBUILD +++ b/community/ocaml-findlib/APKBUILD @@ -24,7 +24,7 @@ build() { -sitelib /usr/lib/ocaml \ -mandir /usr/share/man \ -config /etc/$_pkgname.conf || return 1 - make all opt + make -j1 all opt } package() { |