diff options
author | Alan Modra <amodra@gmail.com> | 2007-09-14 15:47:01 +0000 |
---|---|---|
committer | Alan Modra <amodra@gmail.com> | 2007-09-14 15:47:01 +0000 |
commit | 83a3a68b2bf12d3300a26bbbd9c2d8999b45f015 (patch) | |
tree | e5a4f44b0c6faf8ffcd40e9891f2e6145c1e5603 /configure.ac | |
parent | 5bd8be130956d40b66bc2f2ee0744b341ee65d58 (diff) | |
download | gdb-83a3a68b2bf12d3300a26bbbd9c2d8999b45f015.zip gdb-83a3a68b2bf12d3300a26bbbd9c2d8999b45f015.tar.gz gdb-83a3a68b2bf12d3300a26bbbd9c2d8999b45f015.tar.bz2 |
* configure.ac: Correct makeinfo version check.
* configure: Regenerate.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index a1772c0..1624f1e 100644 --- a/configure.ac +++ b/configure.ac @@ -2462,7 +2462,7 @@ changequote(,) # 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" |