#47: Don't apply patches to spigot if we don't build it

This commit is contained in:
DerFrZocker 2023-02-11 19:06:33 +11:00 committed by md_5
parent 1fdb04b019
commit da67ff1ad2
No known key found for this signature in database
GPG key ID: E8E901AC7C617C11

View file

@ -711,11 +711,11 @@ public class Builder
try
{
runProcess( spigot, applyPatchesShell, "applyPatches.sh" );
System.out.println( "*** Spigot patches applied!" );
if ( compile.contains( Compile.SPIGOT ) )
{
runProcess( spigot, applyPatchesShell, "applyPatches.sh" );
System.out.println( "*** Spigot patches applied!" );
System.out.println( "Compiling Spigot & Spigot-API" );
runMavenServer( spigot, "clean", "install" );