diff options
| -rw-r--r-- | bash-4.3.midipix.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bash-4.3.midipix.patch b/bash-4.3.midipix.patch new file mode 100644 index 0000000..7a19a7a --- /dev/null +++ b/bash-4.3.midipix.patch @@ -0,0 +1,12 @@ +diff -ru a/support/config.sub b/support/config.sub +--- a/support/config.sub 2013-12-17 10:49:47.000000000 -0500 ++++ b/support/config.sub 2015-07-24 10:32:52.872196891 -0400 +@@ -1367,7 +1367,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* \ |