scripts : fix next dev version calculation [no ci] (#1351)

This commit updates the release script to correctly calculate the next
development version after a release.

The motivation for this is that the script currently increments the new
version for the next development cycle but the version is already set to
the updated version so this should not increment again.

diff --git a/scripts/release.sh b/scripts/release.sh
index f52f95ef37c267816954c97629482389da9a1398..188fcc06e911ce484956cdd480cb919ecddbebdb 100755 (executable)
--- a/scripts/release.sh
+++ b/scripts/release.sh
@@ -185,7 +185,7 @@ echo ""
 echo "Step 6: Preparing for next development cycle..."
 case $VERSION_TYPE in
     major|minor)
-        NEXT_DEV_MINOR=$((NEW_MINOR + 1))
+        NEXT_DEV_MINOR=$((NEW_MINOR))
         NEXT_DEV_VERSION="$NEW_MAJOR.$NEXT_DEV_MINOR.0-dev"
         if [ "$DRY_RUN" = true ]; then
             echo "  [dry-run] Would update GGML_VERSION_MINOR to $NEXT_DEV_MINOR"
@@ -194,7 +194,7 @@ case $VERSION_TYPE in
         fi
         ;;
     patch)
-        NEXT_DEV_PATCH=$((NEW_PATCH + 1))
+        NEXT_DEV_PATCH=$((NEW_PATCH))
         NEXT_DEV_VERSION="$NEW_MAJOR.$NEW_MINOR.$NEXT_DEV_PATCH-dev"
         if [ "$DRY_RUN" = true ]; then
             echo "  [dry-run] Would update GGML_VERSION_PATCH to $NEXT_DEV_PATCH"