Fixed command name

This commit is contained in:
BuildTools 2023-07-13 15:25:33 +02:00
parent 9a1f3dc1c1
commit 6ffd8075ea
1 changed files with 15 additions and 19 deletions

View File

@ -1,8 +1,8 @@
git fetch git fetch
curl https://hub.spigotmc.org/jenkins/job/BuildTools/lastSuccessfulBuild/artifact/target/BuildTools.jar --output BuildTools.jar curl https://hub.spigotmc.org/jenkins/job/BuildTools/lastSuccessfulBuild/artifact/target/BuildTools.jar --output BuildTools.jar
if [ -z "$(git status --porcelain)" ]; then
if [ -z "$(git log HEAD..origin/master --oneline)" ]; then if [ -z "$(git log HEAD..origin/master --oneline)" ]; then
if [ -z "$1" ]; then if [ -z "$1" ]; then
echo "Usage: build.sh <version>" echo "Usage: build.sh <version>"
else else
@ -12,15 +12,11 @@ if [ -z "$(git status --porcelain)" ]; then
mkdir "$1" mkdir "$1"
cd "$1" cd "$1"
Java -jar ../BuildTools.jar --rev "$1" java -jar ../BuildTools.jar --rev "$1"
fi fi
else else
echo "It looks like there are incomming updates to this repository. Pulling those changes now." echo "It looks like there are incomming updates to this repository. Pulling those changes now."
git pull git pull
echo "This repositry has been updated. That means that this script might also have been updated. This script will now exit to ensure that the newest version is used." echo "This repositry has been updated. That means that this script might also have been updated. This script will now exit to ensure that the newest version is used."
echo "IMPORTANT: Please re-run this script." echo "IMPORTANT: Please re-run this script."
fi
else
echo "It looks like you have made changes to this repository."
echo "Please remove those changes and re-run this script."
fi fi