From a338ac76accb3149603b91f1dff1f6f53b11dcb2 Mon Sep 17 00:00:00 2001
From: Felix Mulder <felix.mulder@gmail.com>
Date: Tue, 21 Jun 2016 20:16:44 +0200
Subject: Die if `java` bin is not found or specified

---
 bin/dotr | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin')

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
-- 
cgit v1.2.3