Handle tagged prereleases separately from releases and other prereleases

Author: cameel

scripts/prerelease_suffix.sh

@@ -6,8 +6,10 @@ prerelease_source="${1:-nightly}"
 git_tag="${2:-}"
 FORCE_RELEASE="${FORCE_RELEASE:-}"
 
-if [[ $FORCE_RELEASE != "" || $git_tag == v* ]]; then
+if [[ $FORCE_RELEASE != "" || $git_tag =~ ^v[0-9.]+$ ]]; then
     echo -n
+elif [[ $git_tag =~ ^v[0-9.]+-pre. ]]; then
+    echo -n "pre.${git_tag#*-pre.}"
 else
     # Use last commit date rather than build date to avoid ending up with builds for
     # different platforms having different version strings (and therefore producing different bytecode)