From d3d36bf1206f32071089cacfea5bef3ce72da892 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 22 Jan 2020 10:20:37 -0700
Subject: [PATCH] Do not build in parallel, leads to intermittent failures.

---
 apron.spec | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/apron.spec b/apron.spec
index 957070f..c51cab6 100644
--- a/apron.spec
+++ b/apron.spec
@@ -137,7 +137,8 @@ export JAVA_TOOL_OPTIONS="-Dfile.encoding=UTF8"
 # Put back a flag that the configure script strips out
 sed -i 's/-Wp,-D_FORTIFY_SOURCE=2/-Werror=format-security &/' Makefile.config
 
-%make_build
+# Parallel builds fail intermittently
+make
 make doc
 
 # for some reason this is no longer built in `make doc`