diff options
Diffstat (limited to 'gcc/configure.in')
| -rw-r--r-- | gcc/configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure.in b/gcc/configure.in index 6e6fb6b..580e16a 100644 --- a/gcc/configure.in +++ b/gcc/configure.in @@ -494,7 +494,7 @@ else # that we can use it. gcc_AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version, [GNU texinfo.* \([0-9][0-9.]*\)], - [4.*]) + [4.[1-9]*]) fi if test $gcc_cv_prog_makeinfo_modern = no; then |