aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-06-21 20:16:44 +0200
committerFelix Mulder <felix.mulder@gmail.com>2016-06-21 20:16:44 +0200
commita338ac76accb3149603b91f1dff1f6f53b11dcb2 (patch)
tree9a7681c5b198f0158c303ef3fb50f8138b4e7a3b /bin
parent574681ebf468642ce55a6aa06c66daee6b8d3742 (diff)
downloaddotty-a338ac76accb3149603b91f1dff1f6f53b11dcb2.tar.gz
dotty-a338ac76accb3149603b91f1dff1f6f53b11dcb2.tar.bz2
dotty-a338ac76accb3149603b91f1dff1f6f53b11dcb2.zip
Die if `java` bin is not found or specified
Diffstat (limited to 'bin')
-rwxr-xr-xbin/dotr1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/dotr b/bin/dotr
index 90d2825e6..a3870ac7a 100755
--- a/bin/dotr
+++ b/bin/dotr
@@ -23,6 +23,7 @@ function runMain {
if [ "$jbin" == "" ]; then
echo "java bin not detected - please specify with \$JAVA_BIN or install java to a default location"
+ exit 1
else
eval "$jbin $CLASS_PATH $@"
fi