[packages/alt-ergo] - disable parallel build
baggins
baggins at pld-linux.org
Thu May 16 12:37:46 CEST 2013
commit 4c6c7939b9a6cbd248b55206b7b31583cba2e271
Author: Jan Rękorajski <baggins at pld-linux.org>
Date: Thu May 16 12:37:36 2013 +0200
- disable parallel build
alt-ergo.spec | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 2afc7a2..d168303 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -53,8 +53,8 @@ sed -i -e 's/let print_flag = true/let print_flag = false/;' pruning.ml
--libdir=%{_datadir} \
--mandir=%{_mandir}
-%{__make} OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
-%{__make} OCAMLBEST=opt OCAMLOPT=ocamlopt.opt gui
+%{__make} -j1 OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
+%{__make} -j1 OCAMLBEST=opt OCAMLOPT=ocamlopt.opt gui
iconv -f ISO-8859-1 -t UTF-8 -o CeCILL-C.utf8 CeCILL-C
touch -r CeCILL-C CeCILL-C.utf8
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/alt-ergo.git/commitdiff/4c6c7939b9a6cbd248b55206b7b31583cba2e271
More information about the pld-cvs-commit
mailing list