diff options
author | H.J. Lu <hjl.tools@gmail.com> | 2009-04-09 15:40:57 +0000 |
---|---|---|
committer | H.J. Lu <hjl.tools@gmail.com> | 2009-04-09 15:40:57 +0000 |
commit | 10ad8ef35b5f4051a455116667537f633727bf9e (patch) | |
tree | 81aa755792f9f93db7a963bcbc2f77b6f10e5537 /configure | |
parent | c50523cebf618fd32df38a450a7ef9630e5e0094 (diff) | |
download | gdb-10ad8ef35b5f4051a455116667537f633727bf9e.zip gdb-10ad8ef35b5f4051a455116667537f633727bf9e.tar.gz gdb-10ad8ef35b5f4051a455116667537f633727bf9e.tar.bz2 |
2009-04-09 H.J. Lu <hongjiu.lu@intel.com>
PR gas/10039
* configure.ac: Require texinfo 4.7.
* configure: Regenerated.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6665,10 +6665,10 @@ case " $build_configdirs " in *" texinfo "*) MAKEINFO='$$r/$(BUILD_SUBDIR)/texinfo/makeinfo/makeinfo' ;; *) - # For an installed makeinfo, we require it to be from texinfo 4.6 or + # For an installed makeinfo, we require it to be from texinfo 4.7 or # higher, else we use the "missing" dummy. if ${MAKEINFO} --version \ - | egrep 'texinfo[^0-9]*(4\.([6-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then + | egrep 'texinfo[^0-9]*(4\.([7-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then : else MAKEINFO="$MISSING makeinfo" |