diff options
| author | jannfis <jann@mistrust.net> | 2022-01-07 13:37:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-07 13:37:58 +0100 |
| commit | 8b401e40cbfe236d9ca678c205e3a01d2b7d2cd8 (patch) | |
| tree | fc2ff2017762ee8a4f685bff1fda211cb4bb53e1 /hack | |
| parent | f24726eb045683c32b247e3051d16d0ee933da30 (diff) | |
chore: Small fix to the release script (#334)
Signed-off-by: jannfis <jann@mistrust.net>
Diffstat (limited to 'hack')
| -rwxr-xr-x | hack/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hack/release.sh b/hack/release.sh index 9819f10..3d28927 100755 --- a/hack/release.sh +++ b/hack/release.sh @@ -14,7 +14,7 @@ fi TARGET_TAG="v${TARGET_VERSION}" -if ! echo "${TARGET_VERSION}" | egrep -q '^[0-9]\.[0-9]\.[0-9]$'; then +if ! echo "${TARGET_VERSION}" | egrep -q '^[0-9]+\.[0-9]+\.[0-9]+$'; then echo "Error: Target version '${TARGET_VERSION}' is not well-formed. Must be X.Y.Z" >&2 exit 1 fi |