configure.ac
changeset 2839 8e8313e40f8a
parent 2836 1c4f3be68a6d
child 2840 188d58cfe7cf
     1.1 --- a/configure.ac	Sun Jan 15 01:04:26 2012 +0100
     1.2 +++ b/configure.ac	Tue Jan 17 00:37:59 2012 +0100
     1.3 @@ -91,7 +91,11 @@
     1.4  # just what I seem to experience...)
     1.5  #---------------------------------------------------------------------
     1.6  AC_PROG_INSTALL
     1.7 +AC_PROG_GREP
     1.8  AC_PROG_EGREP
     1.9 +AS_IF(
    1.10 +    [test ! "$EGREP" = "$GREP -E"],
    1.11 +    [AC_MSG_ERROR([egrep is not $GREP -E])])
    1.12  AC_CACHE_VAL([ac_cv_path_SED],
    1.13      [AC_ARG_WITH([sed],
    1.14          AS_HELP_STRING([--with-sed=PATH],