Fix the opam-release.sh script

Solo5 · Apr 5, 2024 · 6ebb32c · 6ebb32c
1 parent 2d8b65d
commit 6ebb32c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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