Skip to content
Permalink
Browse files
Merge pull request #11529 from phire/egrep
lint: replace egrep with grep -E
  • Loading branch information
delroth committed Feb 2, 2023
2 parents 6669d16 + e38c0a1 commit 6cb8df7
Showing 1 changed file with 3 additions and 3 deletions.
@@ -103,17 +103,17 @@ function java_check() {
# Loop through each modified file.
for f in ${modified_files}; do
# Filter them.
if echo "${f}" | egrep -q "[.]java$"; then
if echo "${f}" | grep -E -q "[.]java$"; then
# Copy Java files to a temporary directory
java_setup
mkdir -p $(dirname "${java_temp_dir}/${f}")
cp "${f}" "${java_temp_dir}/${f}"
continue
fi
if ! echo "${f}" | egrep -q "[.](cpp|h|mm)$"; then
if ! echo "${f}" | grep -E -q "[.](cpp|h|mm)$"; then
continue
fi
if ! echo "${f}" | egrep -q "^Source"; then
if ! echo "${f}" | grep -E -q "^Source"; then
continue
fi

0 comments on commit 6cb8df7

Please sign in to comment.