fix checkJava so k-bin-to-text works without kserver (runtimeverification#637)

dwightguth · web-flow · commit f4609ff83bb2 · 2017-12-14T11:10:35.000-06:00
diff --git a/k-distribution/src/main/scripts/lib/checkJava b/k-distribution/src/main/scripts/lib/checkJava
@@ -39,7 +39,7 @@ else
       TIERED=-XX:+TieredCompilation
     fi
     export K_OPTS="-Xms64m -Xmx4096m -Xss32m $TIERED $K_OPTS"
-    JAVA="java -Dfile.encoding=UTF-8 -Djava.awt.headless=true $K_OPTS -ea -cp \"$(dirname "$0")/java/*\""
+    JAVA="java -Dfile.encoding=UTF-8 -Djava.awt.headless=true $K_OPTS -ea -cp \"$(dirname "$BASH_SOURCE")/java/*\""
   fi
 fi
 
