diff --git a/gcc41-makeinfo-ver.patch b/gcc41-makeinfo-ver.patch new file mode 100644 index 0000000..81f1e9f --- /dev/null +++ b/gcc41-makeinfo-ver.patch @@ -0,0 +1,27 @@ +2007-09-22 Jakub Jelinek + + * configure.ac (MAKEINFO): Handle makeinfo version 4.10 and above. + * configure: Regenerated. + +--- gcc/configure.ac.jj 2007-02-20 16:39:12.000000000 -0500 ++++ gcc/configure.ac 2007-09-22 08:38:07.000000000 -0400 +@@ -833,7 +833,7 @@ MISSING="${CONFIG_SHELL-/bin/sh} $srcdir + # that we can use it. + gcc_AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version, + [GNU texinfo.* \([0-9][0-9.]*\)], +- [4.[2-9]*]) ++ [4.[2-9]*|4.[1-9][0-9]*]) + if test $gcc_cv_prog_makeinfo_modern = no; then + MAKEINFO="$MISSING makeinfo" + AC_MSG_WARN([ +--- gcc/configure.jj 2007-02-20 16:39:12.000000000 -0500 ++++ gcc/configure 2007-09-22 08:38:30.000000000 -0400 +@@ -7496,7 +7496,7 @@ else + echo "configure:7496: version of makeinfo is $ac_prog_version" >&5 + case $ac_prog_version in + '') gcc_cv_prog_makeinfo_modern=no;; +- 4.[2-9]*) ++ 4.[2-9]*|4.[1-9][0-9]*) + gcc_cv_prog_makeinfo_modern=yes;; + *) gcc_cv_prog_makeinfo_modern=no;; + esac