[gcc/f17] 4.7.0-0.13

[Jakub Jelinek]

commit 48fb608e1f2d05ad8a96af6bd8e734d0828d067e
Author: Jakub Jelinek <jakub at redhat.com>
Date:   Thu Feb 16 13:32:49 2012 +0100

    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 at .
+@@ -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}.
  
 - at item Parma Polyhedra Library (PPL) version 0.11
 + at item Parma Polyhedra Library (PPL) version 0.10