From 6ebb32cdfacfb0761505021792b0c482ff9ef39b Mon Sep 17 00:00:00 2001
From: Calascibetta Romain <romain.calascibetta@gmail.com>
Date: Fri, 5 Apr 2024 12:15:45 +0200
Subject: [PATCH] Fix the opam-release.sh script

---
 scripts/opam-release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/opam-release.sh b/scripts/opam-release.sh
index 5743b754..0ca71eb5 100755
--- a/scripts/opam-release.sh
+++ b/scripts/opam-release.sh
@@ -15,7 +15,7 @@ fi
 GIT_VERSION=$(git -C . describe --dirty --tags --always)
 
 DEV=
-if ! echo "$GIT_VERSION" | egrep -q '^v[0-9]+.[0-9]+.[0-9]+$'; then
+if ! echo "$GIT_VERSION" | grep -q -E '^v[0-9]+.[0-9]+.[0-9]+$'; then
     echo "WARNING: Not a clean Git release: $GIT_VERSION"
     echo "WARNING: This is almost certainly not what you want."
     DEV=~dev