From 15154ed5de1d03fc7e32b9269189c6ebd05cf4c7 Mon Sep 17 00:00:00 2001
From: Charles-Antoine Mathieu <ca.mathieu@criteo.com>
Date: Sun, 6 Aug 2023 17:14:15 +0200
Subject: [PATCH] Fix egrep deprecated warning message

---
 server/gen_build_info.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/server/gen_build_info.sh b/server/gen_build_info.sh
index a2b3cc40..43120978 100755
--- a/server/gen_build_info.sh
+++ b/server/gen_build_info.sh
@@ -36,7 +36,7 @@ sh=`git rev-list --pretty=format:%h HEAD --max-count=1 | sed '1s/commit /full_re
 eval "$sh"  # Sets the full_rev & short_rev variables.
 
 # get git version tag
-tag=$(git show-ref --tags | egrep "refs/tags/$version$" | cut -d " " -f1)
+tag=$(git show-ref --tags | grep -E "refs/tags/$version$" | cut -d " " -f1)
 if [[ $tag = $full_rev ]]; then
     isRelease=true
 fi
@@ -133,4 +133,4 @@ if [[ "$output" == "base64" ]]; then
   echo $json | base64 | tr -d '\n'
 else
   echo $json
-fi
\ No newline at end of file
+fi