Skip to content

Commit

Permalink
Enforce grep -E instead of egrep
Browse files Browse the repository at this point in the history
The egrep command has been deprecated since 2007. Beginning with GNU
grep 3.8, calling the command will now issue a warning to the user that
instead they should use 'grep -E'.
  • Loading branch information
jserv committed Jan 30, 2024
1 parent 2b55930 commit 844d107
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .ci/check-format.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/usr/bin/env bash

SOURCES=$(find $(git rev-parse --show-toplevel) | egrep "\.(cpp|h)\$")
SOURCES=$(find $(git rev-parse --show-toplevel) | grep -E "\.(cpp|h)\$")

set -x

Expand All @@ -9,4 +9,4 @@ do
clang-format-14 ${file} > expected-format
diff -u -p --label="${file}" --label="expected coding style" ${file} expected-format
done
exit $(clang-format-14 --output-replacements-xml ${SOURCES} | egrep -c "</replacement>")
exit $(clang-format-14 --output-replacements-xml ${SOURCES} | grep -E -c "</replacement>")

0 comments on commit 844d107

Please sign in to comment.