From 8a2e388e1096596c32b4d3603997f19adfe4f8e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ville=20Skytt=C3=A4?= <ville.skytta@iki.fi>
Date: Sat, 13 Nov 2021 15:16:45 +0200
Subject: [PATCH] dist.sh: use `grep -E` instead of `egrep`

`egrep` has been deprecated in GNU grep since 2007, and in current
post 3.7 Git it has been made to emit obsolescence warnings:
https://git.savannah.gnu.org/cgit/grep.git/commit/?id=a9515624709865d480e3142fd959bccd1c9372d1
---
 dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist.sh b/dist.sh
index 23bb032..cc0d3ea 100755
--- a/dist.sh
+++ b/dist.sh
@@ -25,7 +25,7 @@ function check_rhl {
 }
 
 function check_rhel {
-    egrep -q "(Enterprise|Advanced|CentOS)" $RELEASEFILE && echo $DISTNUM
+    grep -Eq "(Enterprise|Advanced|CentOS)" $RELEASEFILE && echo $DISTNUM
 }
 
 function check_fedora {