diff options
| -rw-r--r-- | gawk-4.1.3.midipix.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gawk-4.1.3.midipix.patch b/gawk-4.1.3.midipix.patch deleted file mode 100644 index f07d311..0000000 --- a/gawk-4.1.3.midipix.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -ru a/config.sub b/config.sub ---- a/config.sub 2015-05-05 05:33:22.000000000 -0400 -+++ b/config.sub 2016-01-30 15:46:16.406113249 -0500 -@@ -1387,7 +1387,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* | -moxiebox* \ - | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \ |