From 5f33ef35e33441754795619ebf10ceec425affa6 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Thu, 9 Apr 2020 21:13:54 +0100 Subject: [PATCH] build: allow providing a git hash --- build/server-phar.php | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/build/server-phar.php b/build/server-phar.php index d99bf9943..95d725e4c 100644 --- a/build/server-phar.php +++ b/build/server-phar.php @@ -130,9 +130,13 @@ function main() : void{ exit(1); } - $opts = getopt("", ["out:"]); - $gitHash = Git::getRepositoryStatePretty(dirname(__DIR__)); - echo "Git hash detected as $gitHash" . PHP_EOL; + $opts = getopt("", ["out:", "git:"]); + if(isset($opts["git"])){ + $gitHash = $opts["git"]; + }else{ + $gitHash = Git::getRepositoryStatePretty(dirname(__DIR__)); + echo "Git hash detected as $gitHash" . PHP_EOL; + } foreach(buildPhar( $opts["out"] ?? getcwd() . DIRECTORY_SEPARATOR . "PocketMine-MP.phar", dirname(__DIR__) . DIRECTORY_SEPARATOR,