[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