Rename work dir
This commit is contained in:
parent
c8d844ab71
commit
ba1031ca7c
7 changed files with 23 additions and 18 deletions
|
@ -97,9 +97,10 @@ echo "Importing MC Dev"
|
|||
applyPatch "work/Spigot/Spigot-API" Paper-API HEAD &&
|
||||
applyPatch "work/Spigot/Spigot-Server" Paper-Server HEAD
|
||||
cd "$basedir"
|
||||
revision="$(cat "$basedir"/revision.txt | tr -d '\n')"
|
||||
|
||||
# if we have previously ran ./paper mcdev, update it
|
||||
if [ -d "$workdir/Minecraft/$minecraftversion/src" ]; then
|
||||
if [ -d "$workdir/Minecraft/$minecraftversion-$revision/src" ]; then
|
||||
./scripts/makemcdevsrc.sh "$basedir"
|
||||
fi
|
||||
) || (
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue