[cvc4/f22] Remove i686 from have_perftools due to test failures.

[Jerry James]

commit 7bd0d829c0b033ee3342133a9d2a34e5535e0901
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Thu Mar 12 12:01:30 2015 -0600

    Remove i686 from have_perftools due to test failures.

 cvc4.spec | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/cvc4.spec b/cvc4.spec
index 1829eb5..dc7c4fa 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -1,7 +1,8 @@
 # CVC4 1.4 and later need a modified glpk, unavailable in Fedora.  Therefore,
 # we currently build without glpk support.
 
-%ifarch %{ix86} x86_64 ppc ppc64
+# Building for i686 with perftools leads to test failures on F22.
+%ifarch x86_64 ppc ppc64
 %global have_perftools 1
 %endif
 
@@ -254,6 +255,7 @@ make check
 - Help the documentation generator find COPYING
 - Build with -fsigned-char to fix the arm build
 - Prevent rebuilds while running checks
+- Remove i686 from have_perftools due to test failures
 
 * Tue Jan 27 2015 Petr Machata <pmachata at redhat.com> - 1.4-2
 - Rebuild for boost 1.57.0