diff options
| author | amodra <amodra@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-09-15 00:42:24 +0000 |
|---|---|---|
| committer | amodra <amodra@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-09-15 00:42:24 +0000 |
| commit | 37852ce9b4f241c4670329dab7c87189d1e8342a (patch) | |
| tree | a58013c6ea99a62625e5c6bb3e455adc783c3425 /configure | |
| parent | beeb5501cf8e5931dc85a2f29d6db67cb6c4d078 (diff) | |
* configure.in: Correct makeinfo version check.
* configure: Regenerate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_2-branch@128510 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 1376afce122..0b1d98ad54e 100755 --- a/configure +++ b/configure @@ -3743,7 +3743,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" |