lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-08-08 17:42:09 +03:00
Code Activity

Use grep -E instead of egrep

Browse Source 
`egrep` has been deprecated in GNU grep since 2007,
and since 3.8 it emits obsolescence warnings:
https://git.savannah.gnu.org/cgit/grep.git/commit/?id=a9515624709865d480e3142fd959bccd1c9372d1

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
This commit is contained in:
Ville Skyttä
2023-01-01 18:19:49 +02:00
committed by Dave Rodgman
parent 4afd4b9be5
commit a74468155d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/scripts/doxygen.sh
View File

@@ -35,7 +35,7 @@ cat doc.out doc.err | \
grep -v "warning: ignoring unsupported tag" \ grep -v "warning: ignoring unsupported tag" \
> doc.filtered > doc.filtered
if egrep "(warning|error):" doc.filtered; then if grep -E "(warning|error):" doc.filtered; then
echo "FAIL" >&2 echo "FAIL" >&2
exit 1; exit 1;
fi fi