From: Jan Rękorajski <baggins@pld-linux.org>
Date: Thu, 16 May 2013 10:37:36 +0000 (+0200)
Subject: - disable parallel build
X-Git-Tag: auto/th/alt-ergo-0.95.1-1
X-Git-Url: http://git.pld-linux.org/?p=packages%2Falt-ergo.git;a=commitdiff_plain;h=4c6c7939b9a6cbd248b55206b7b31583cba2e271;hp=0b8020260922991aa8c2bc0733732e97f3312b0a

- disable parallel build
---

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