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 /main | |
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 'main')
0 files changed, 0 insertions, 0 deletions