diff options
| author | David Spencer <baildon.research@googlemail.com> | 2016-07-12 19:22:29 +0100 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2016-07-20 14:20:08 -0500 |
| commit | 269b53a72de96b8d595192e1afd159954cf08ea0 (patch) | |
| tree | 9befc6997d97f85815f5b6213b1645484d0bf8d4 /libraries/ocaml-findlib | |
| parent | cc2894e499256f742406f4724575c4db69d4d24d (diff) | |
libraries/ocaml-findlib: Build with -j1.
Signed-off-by: David Spencer <baildon.research@googlemail.com>
Diffstat (limited to 'libraries/ocaml-findlib')
| -rw-r--r-- | libraries/ocaml-findlib/ocaml-findlib.SlackBuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libraries/ocaml-findlib/ocaml-findlib.SlackBuild b/libraries/ocaml-findlib/ocaml-findlib.SlackBuild index 9d32ac24a65f6..489b2d1d52e95 100644 --- a/libraries/ocaml-findlib/ocaml-findlib.SlackBuild +++ b/libraries/ocaml-findlib/ocaml-findlib.SlackBuild @@ -76,9 +76,9 @@ CXXFLAGS="$SLKCFLAGS" \ -mandir /usr/man \ -sitelib /usr/lib$LIBDIRSUFFIX/ocaml/site-lib \ -config /etc/findlib.conf -make all -make opt -make install prefix=$PKG +make -j1 all +make -j1 opt +make -j1 install prefix=$PKG ( cd $PKG/etc; mv findlib.conf findlib.conf.new ) |