From 9feb5dc450789338bf83e88c5c07fe6e880a16e7 Mon Sep 17 00:00:00 2001
From: Jerry James <jamesjer@betterlinux.com>
Date: Fri, 22 Aug 2014 18:10:16 -0600
Subject: [PATCH] Remove arm platforms from have_perftools due to bz 1109309.

---
 cvc4.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/cvc4.spec b/cvc4.spec
index 9645117..3cba481 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -1,4 +1,4 @@
-%ifarch %{ix86} x86_64 ppc ppc64 %{arm}
+%ifarch %{ix86} x86_64 ppc ppc64
 %global have_perftools 1
 %endif
 
@@ -204,6 +204,9 @@ make check
 %{_jnidir}/%{name}/
 
 %changelog
+* Fri Aug 22 2014 Jerry James <loganjerry@gmail.com> - 1.3-7
+- Remove arm platforms from have_perftools due to bz 1109309
+
 * Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-7
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild