From 48fb608e1f2d05ad8a96af6bd8e734d0828d067e Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 16 Feb 2012 13:32:49 +0100
Subject: [PATCH] 4.7.0-0.13

---
 gcc.spec             | 2 +-
 gcc47-ppl-0.10.patch | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/gcc.spec b/gcc.spec
index 0057147..2f75016 100644
--- a/gcc.spec
+++ b/gcc.spec
@@ -671,7 +671,7 @@ package or when debugging this package.
 %patch12 -p0 -b .libstdc++-docs~
 %endif
 %patch13 -p0 -b .no-add-needed~
-%if 0%{?fedora} < 15 || 0%{?rhel} < 7
+%if 0%{?fedora} < 15 && 0%{?rhel} < 7
 %patch14 -p0 -b .ppl-0.10~
 %endif
 %patch15 -p0 -b .libitm-fno-exceptions~
diff --git a/gcc47-ppl-0.10.patch b/gcc47-ppl-0.10.patch
index d43f34f..45b07f4 100644
--- a/gcc47-ppl-0.10.patch
+++ b/gcc47-ppl-0.10.patch
@@ -12,9 +12,9 @@ gcc/
 
 --- gcc/doc/install.texi	(revision 169207)
 +++ gcc/doc/install.texi	(revision 169206)
-@@ -332,7 +332,7 @@ and @option{--with-mpc-include}.  Altern
- distribution is found in a subdirectory of your GCC sources named
- @file{mpc}, it will be built together with GCC@.
+@@ -362,7 +362,7 @@ installed but it is not in your default 
+ @option{--with-mpc} configure option should be used.  See also
+ @option{--with-mpc-lib} and @option{--with-mpc-include}.
  
 -@item Parma Polyhedra Library (PPL) version 0.11
 +@item Parma Polyhedra Library (PPL) version 0.10