| commit | a74468155db9dc20d33b327df85f53241110dbde | [log] [tgz] |
|---|---|---|
| author | Ville Skyttä <ville.skytta@iki.fi> | Sun Jan 01 18:19:49 2023 +0200 |
| committer | Dave Rodgman <dave.rodgman@arm.com> | Mon Jan 16 11:08:46 2023 +0000 |
| tree | fa042f90075bc2049a8f0f0b8b82209540a89114 | |
| parent | 4afd4b9be5ea1801bba9cac5e890c8d918bb5c0e [diff] [blame] |
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: Dave Rodgman <dave.rodgman@arm.com>
diff --git a/tests/scripts/doxygen.sh b/tests/scripts/doxygen.sh index 2c523ba..e355073 100755 --- a/tests/scripts/doxygen.sh +++ b/tests/scripts/doxygen.sh
@@ -35,7 +35,7 @@ grep -v "warning: ignoring unsupported tag" \ > doc.filtered -if egrep "(warning|error):" doc.filtered; then +if grep -E "(warning|error):" doc.filtered; then echo "FAIL" >&2 exit 1; fi