diff options
| author | Ben Elliston <bje@gnu.org> | 2006-03-31 02:32:20 +0000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2006-03-31 02:32:20 +0000 |
| commit | 3bdcd964f90c57f4882ca874b6e82ed7f0e235b0 (patch) | |
| tree | fc8725c92bedcd9c73908a38e35f11247a5eb660 /configure | |
| parent | bb09410538f38a3eccc111f6f6be65d35f1be9e8 (diff) | |
| download | newlib-3bdcd964f90c57f4882ca874b6e82ed7f0e235b0.zip newlib-3bdcd964f90c57f4882ca874b6e82ed7f0e235b0.tar.gz newlib-3bdcd964f90c57f4882ca874b6e82ed7f0e235b0.tar.bz2 | |
PR binutils/1860
* configure.in: Require makeinfo 4.4 or higher.
* configure: Regenerate.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3628,10 +3628,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.2 or + # 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\.[2-9]|[5-9])' >/dev/null 2>&1; then + | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[4-9]|[5-9])' >/dev/null 2>&1; then : else MAKEINFO="$MISSING makeinfo" |