diff options
| -rw-r--r-- | arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p b/arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p deleted file mode 100644 index 0860b9a..0000000 --- a/arm-unknown-riscos/recipes/patches/gcc4/ppl-version.p +++ /dev/null @@ -1,11 +0,0 @@ ---- gcc4/Makefile.orig 2017-09-16 12:22:23.882150566 +0100 -+++ gcc4/Makefile 2017-09-16 12:23:14.300351285 +0100 -@@ -42,7 +42,7 @@ - MPFR_VERSION=3.0.1 - MPC_VERSION=0.8.2 - GCC_USE_PPL_CLOOG=yes --PPL_VERSION=0.11.2 -+PPL_VERSION=0.12.1 - CLOOG_VERSION=0.15.11 - GCC_USE_LTO=yes - |