mirror of
https://github.com/curl/curl.git
synced 2025-01-18 14:04:30 +08:00
configure: polish the grep -E message a bit further
Suggested-by: Emanuele Torre Closes #9473
This commit is contained in:
parent
9cc9a6472c
commit
3b0d678f78
@ -100,7 +100,7 @@ if test -z "$EGREP"; then
|
||||
fi
|
||||
fi
|
||||
if test -z "$EGREP" || test "$EGREP" = "not_found"; then
|
||||
AC_MSG_ERROR([grep -E is not working and is egrep not found in PATH. Cannot continue.])
|
||||
AC_MSG_ERROR([grep -E is not working and egrep is not found in PATH. Cannot continue.])
|
||||
fi
|
||||
AC_SUBST([EGREP])
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user