diff options
| -rw-r--r-- | gawk-4.1.3.midipix.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gawk-4.1.3.midipix.patch b/gawk-4.1.3.midipix.patch new file mode 100644 index 0000000..f07d311 --- /dev/null +++ b/gawk-4.1.3.midipix.patch @@ -0,0 +1,12 @@ +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* \ |