#!/bin/bash

curl -o BuildTools.jar https://hub.spigotmc.org/jenkins/job/BuildTools/lastSuccessfulBuild/artifact/target/BuildTools.jar
java -jar BuildTools.jar --rev 1.20.4 --final-name spigot.jar
cp spigot.jar ../devserver/.
echo "Moved spigot.jar to ../devserver/."