From 4c6c7939b9a6cbd248b55206b7b31583cba2e271 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Thu, 16 May 2013 12:37:36 +0200
Subject: [PATCH 1/1] - 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
-- 
2.43.0