diff --git a/make_release.sh b/make_release.sh index eb7facb1..a0495c23 100755 --- a/make_release.sh +++ b/make_release.sh @@ -9,6 +9,11 @@ if [[ -z ${version} ]]; then exit 1 fi +if [[ ! ${version} =~ ^[0-9]+.[0-9]+.[0-9]+$ ]]; then + echo "Version string incorrect." + exit 1 +fi + if ! which gh >/dev/null; then echo "Didn't find the \`gh\` binary." exit 1