diff options
author | Alan Modra <amodra@bigpond.net.au> | 2007-09-14 15:42:18 +0000 |
---|---|---|
committer | Alan Modra <amodra@gcc.gnu.org> | 2007-09-15 01:12:18 +0930 |
commit | fa9a3f31a007a2dc19db157d47052b386c14b5de (patch) | |
tree | f70e8733b6f359b6f120116af45b32e3849f8ba1 /configure | |
parent | 6593a73e79496b729b1507bd885429a69d980fad (diff) | |
download | gcc-fa9a3f31a007a2dc19db157d47052b386c14b5de.zip gcc-fa9a3f31a007a2dc19db157d47052b386c14b5de.tar.gz gcc-fa9a3f31a007a2dc19db157d47052b386c14b5de.tar.bz2 |
configure.ac: Correct makeinfo version check.
* configure.ac: Correct makeinfo version check.
* configure: Regenerate.
From-SVN: r128497
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6192,7 +6192,7 @@ case " $build_configdirs " in # For an installed makeinfo, we require it to be from texinfo 4.4 or # higher, else we use the "missing" dummy. if ${MAKEINFO} --version \ - | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[4-9]|[5-9])' >/dev/null 2>&1; then + | egrep 'texinfo[^0-9]*(4\.([4-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then : else MAKEINFO="$MISSING makeinfo" |