diff options
Diffstat (limited to 'toolchain/patches/2.15/005-versions.patch')
| -rw-r--r-- | toolchain/patches/2.15/005-versions.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/toolchain/patches/2.15/005-versions.patch b/toolchain/patches/2.15/005-versions.patch new file mode 100644 index 0000000000..da9d2bacb5 --- /dev/null +++ b/toolchain/patches/2.15/005-versions.patch @@ -0,0 +1,11 @@ +--- a/libc/configure.in ++++ b/libc/configure.in +@@ -1037,7 +1037,7 @@ + critic_missing="$critic_missing gcc") + AC_CHECK_PROG_VER(MAKE, gnumake gmake make, --version, + [GNU Make[^0-9]*\([0-9][0-9.]*\)], +- [3.79* | 3.[89]*], critic_missing="$critic_missing make") ++ [3.79* | 3.[89]* | 4.* ], critic_missing="$critic_missing make") + + AC_CHECK_PROG_VER(MSGFMT, gnumsgfmt gmsgfmt msgfmt, --version, + [GNU gettext.* \([0-9]*\.[0-9.]*\)], |