diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-21 20:16:44 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-06-21 20:16:44 +0200 |
commit | a338ac76accb3149603b91f1dff1f6f53b11dcb2 (patch) | |
tree | 9a7681c5b198f0158c303ef3fb50f8138b4e7a3b /bin | |
parent | 574681ebf468642ce55a6aa06c66daee6b8d3742 (diff) | |
download | dotty-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-x | bin/dotr | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |