diff options
Diffstat (limited to 'bin/dotr')
-rwxr-xr-x | bin/dotr | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -9,7 +9,7 @@ DOTTY_ROOT="$(dirname "$DOTTY_ROOT")" DOTTY_ROOT="$( cd "$DOTTY_ROOT" >& /dev/null && pwd )/.." # absolute # Load common functions and variables -source $DOTTY_ROOT/bin/common +source "$DOTTY_ROOT"/bin/common CLASS_PATH="-classpath .:$DOTTY_LIB_JAR:.:$SCALA_LIBRARY_JAR" @@ -17,7 +17,7 @@ function runMain { local jbin=$(which "java") if [ ! -z "$JAVA_BIN" ]; then - jbin=$JAVA_BIN + jbin="$JAVA_BIN" fi if [ "$jbin" == "" ]; then @@ -28,7 +28,7 @@ function runMain { fi } -first_arg=$1 +first_arg="$1" if [ -z "$1" ]; then echo "Starting dotty REPL..." |