| commit | 66edfe45f574e4db123d3a4dafb1d0cf6ac774d9 | [log] [tgz] |
|---|---|---|
| author | Ville Skyttä <ville.skytta@iki.fi> | Sun Jan 01 18:19:49 2023 +0200 |
| committer | GitHub <noreply@github.com> | Sun Jan 01 18:19:49 2023 +0200 |
| tree | 04cb5b2c7efecf95b570feccd8838842e6395b45 | |
| parent | b4b0bb737d51ac34a91de269aad4432524be5794 [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: Ville Skyttä <ville.skytta@iki.fi>
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