diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 6d86b68a8b..4e44f1ed45 100644 --- a/configure.in +++ b/configure.in @@ -512,6 +512,9 @@ AC_CHECK_PROG_VER(MSGFMT, gnumsgfmt gmsgfmt msgfmt, --version, AC_CHECK_PROG_VER(MAKEINFO, makeinfo, --version, [GNU texinfo.* \([0-9][0-9.]*\)], [3.1[1-9] | 3.[2-9][0-9] | 4.* | 1.6[89] | 1.7[0-9]], MAKEINFO=: aux_missing=t) +AC_CHECK_PROG_VER(SED, gsed sed, --version, + [GNU sed version \([0-9]*\.[0-9.]*\)], + [3.02], SED=: aux_missing=t) if test -n "$critic_missing"; then AC_MSG_ERROR([ |