From e38c0a1bbd3f0914716b68e4bf3fa83a3ab7c9f1 Mon Sep 17 00:00:00 2001
From: Scott Mansell <phiren@gmail.com>
Date: Thu, 2 Feb 2023 17:23:40 +1300
Subject: [PATCH] lint: replace egrep with grep -E

Starting with grep 3.8, egrep throws the following warning
   egrep: warning: egrep is obsolescent; using grep -E

Whch is annoying... so we will use grep -E
---
 Tools/lint.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Tools/lint.sh b/Tools/lint.sh
index 0c0d447a38..db5398cc7c 100755
--- a/Tools/lint.sh
+++ b/Tools/lint.sh
@@ -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