From 777d69d0a6b959fbf4e7704be541a06bacc9ddd0 Mon Sep 17 00:00:00 2001
From: md_5 <git@md-5.net>
Date: Tue, 18 Aug 2020 18:02:02 +1000
Subject: [PATCH] Fix unknown rev not exiting with error code

---
 src/main/java/org/spigotmc/builder/Builder.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/org/spigotmc/builder/Builder.java b/src/main/java/org/spigotmc/builder/Builder.java
index 5b055ca..c0b0523 100644
--- a/src/main/java/org/spigotmc/builder/Builder.java
+++ b/src/main/java/org/spigotmc/builder/Builder.java
@@ -320,6 +320,7 @@ public class Builder
                 {
                     System.err.println( "Could not get version " + askedVersion + " does it exist? Try another version or use 'latest'" );
                     ex.printStackTrace();
+                    System.exit( 1 );
                     return;
                 }
                 System.out.println( "Found version" );