diff options
Diffstat (limited to 'patches/gmp-5.1.3.local.patch')
| -rw-r--r-- | patches/gmp-5.1.3.local.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/patches/gmp-5.1.3.local.patch b/patches/gmp-5.1.3.local.patch deleted file mode 100644 index ecee6b99..00000000 --- a/patches/gmp-5.1.3.local.patch +++ /dev/null @@ -1,22 +0,0 @@ -diff -ru a/configfsf.sub b/configfsf.sub ---- a/configfsf.sub 2013-09-30 06:18:28.000000000 -0400 -+++ b/configfsf.sub 2015-05-28 00:18:19.772345286 -0400 -@@ -794,6 +794,9 @@ - microblaze*) - basic_machine=microblaze-xilinx - ;; -+ midipix) -+ os=-midipix -+ ;; - mingw64) - basic_machine=x86_64-pc - os=-mingw64 -@@ -1370,7 +1373,7 @@ - | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \ - | -chorusos* | -chorusrdb* | -cegcc* \ - | -cygwin* | -msys* | -pe* | -psos* | -moss* | -proelf* | -rtems* \ -- | -mingw32* | -mingw64* | -linux-gnu* | -linux-android* \ -+ | -midipix* | -mingw32* | -mingw64* | -linux-gnu* | -linux-android* \ - | -linux-newlib* | -linux-musl* | -linux-uclibc* \ - | -uxpv* | -beos* | -mpeix* | -udk* \ - | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \ |