diff options
Diffstat (limited to '')
| -rwxr-xr-x | jenkinsbuild.sh | 7 |
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 |