configure: use $EGREP in place of grep -E

`$EGREP` is set based on an earlier test in configure so that we can
work with systems that have `egrep` and a `grep` that does not support
`-E`.

Closes #13780
This commit is contained in:
Alejandro R. Sedeño 2024-05-25 12:04:18 -04:00 committed by Daniel Stenberg
parent 2fec5cd510
commit e492834323
No known key found for this signature in database
GPG Key ID: 5CC908FDB71E12C2

View File

@ -5037,7 +5037,7 @@ AC_MSG_NOTICE([Configured to build curl/libcurl:
Features: ${SUPPORT_FEATURES}
])
non13=`echo "$TLSCHOICE" | grep -Ei 'bearssl|secure-transport|mbedtls'`;
non13=`echo "$TLSCHOICE" | $EGREP -i 'bearssl|secure-transport|mbedtls'`;
if test -n "$non13"; then
cat >&2 << _EOF
WARNING: A selected TLS library ($TLSCHOICE) does not support TLS 1.3!