From 5430f19e7a81f60dcd588f24e86080e45e9a1a61 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Fri, 12 Jul 2019 18:18:26 +0100
Subject: [PATCH] make-release: allow specifying a version number explicitly

---
 build/make-release.php | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/build/make-release.php b/build/make-release.php
index a1328b8ca..042563b05 100644
--- a/build/make-release.php
+++ b/build/make-release.php
@@ -39,14 +39,17 @@ use const STDIN;
 require_once dirname(__DIR__) . '/src/pocketmine/VersionInfo.php';
 require_once dirname(__DIR__) . '/vendor/autoload.php';
 
-$currentVer = new VersionString(BASE_VERSION);
-$nextVer = new VersionString(sprintf(
-	"%u.%u.%u",
-	$currentVer->getMajor(),
-	$currentVer->getMinor(),
-	$currentVer->getPatch() + 1
-));
-
+if(isset($argv[1])){
+	$nextVer = new VersionString($argv[1]);
+}else{
+	$currentVer = new VersionString(BASE_VERSION);
+	$nextVer = new VersionString(sprintf(
+		"%u.%u.%u",
+		$currentVer->getMajor(),
+		$currentVer->getMinor(),
+		$currentVer->getPatch() + 1
+	));
+}
 
 $versionInfoPath = dirname(__DIR__) . '/src/pocketmine/VersionInfo.php';
 $versionInfo = file_get_contents($versionInfoPath);