diff options
author | worktycho <work.tycho@gmail.com> | 2015-12-11 01:22:20 +0100 |
---|---|---|
committer | worktycho <work.tycho@gmail.com> | 2015-12-11 01:22:20 +0100 |
commit | afb9ea126c1f18ddd1ff836372ae8336a672772c (patch) | |
tree | 38ec9cffbf8d55580741dadbbef13d60c7312c91 /compile.sh | |
parent | Merge pull request #2727 from Gargaj/patch-4 (diff) | |
parent | Merge branch 'master' into patch-1 (diff) | |
download | cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.tar cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.tar.gz cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.tar.bz2 cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.tar.lz cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.tar.xz cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.tar.zst cuberite-afb9ea126c1f18ddd1ff836372ae8336a672772c.zip |
Diffstat (limited to 'compile.sh')
-rwxr-xr-x | compile.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compile.sh b/compile.sh index e5a164603..1bd8a4870 100755 --- a/compile.sh +++ b/compile.sh @@ -1,5 +1,6 @@ #!/bin/sh #|| goto :windows_detected +{ # put the whole thing in a block so as not to behave weirdly if interrupted set -e # Do we already have a repo? @@ -206,3 +207,4 @@ exit 0 echo "This script is not available for Windows yet, sorry." echo "You can still download the Windows binaries from: http://cuberite.org" echo "You can also manually compile for Windows. See: https://github.com/cuberite/cuberite" +} |