mirror of
https://github.com/Mbed-TLS/mbedtls-framework.git
synced 2026-10-08 01:37:23 +00:00
Use grep -E instead of egrep
`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: Ville Skyttä <[email protected]>
This commit is contained in:
@@ -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
|
||||||
|
|||||||
Reference in New Issue
Block a user