summaryrefslogtreecommitdiffstats
path: root/jenkinsbuild.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xjenkinsbuild.sh7
1 files changed, 4 insertions, 3 deletions
diff --git a/jenkinsbuild.sh b/jenkinsbuild.sh
index ab30c74be..56ce83802 100755
--- a/jenkinsbuild.sh
+++ b/jenkinsbuild.sh
@@ -82,6 +82,7 @@ popd
sha1sum Cuberite.tar.gz > Cuberite.tar.gz.sha1
# Package ProtoProxy
-pushd Tools/ProtoProxy
-sha1sum ProtoProxy > ProtoProxy.sha1
-popd
+# This tool is very out of date, uncomment when it's being worked on again
+# pushd Tools/ProtoProxy
+# sha1sum ProtoProxy > ProtoProxy.sha1
+# popd