diff options
author | Benjamin Mintz <bmintz@users.noreply.github.com> | 2015-12-10 06:12:05 +0100 |
---|---|---|
committer | Benjamin Mintz <bmintz@users.noreply.github.com> | 2015-12-11 01:06:16 +0100 |
commit | 65c89f052be556aa4a344a75695f2b2634457a8a (patch) | |
tree | 212ee256d59cb330a51f8bffed374eb9a0356511 /compile.sh | |
parent | Merge pull request #2720 from cuberite/OreNestsFix (diff) | |
download | cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.tar cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.tar.gz cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.tar.bz2 cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.tar.lz cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.tar.xz cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.tar.zst cuberite-65c89f052be556aa4a344a75695f2b2634457a8a.zip |
Diffstat (limited to '')
-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" +} |