diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-10 17:51:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-10 17:51:54 +0100 |
commit | b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9 (patch) | |
tree | 5ee8e7ab8f8e04e28bc8444d3f9b8df9c4241410 /bin/dotr | |
parent | e9c494213f42ae9edd7dc265e847fe52482d9392 (diff) | |
parent | 40f40128f5a96aef6f0f6122b28724584417beb6 (diff) | |
download | dotty-b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9.tar.gz dotty-b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9.tar.bz2 dotty-b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9.zip |
Merge pull request #1957 from dotty-staging/fix-dotc-dotr-scripts
Fix dotr/dotc scripts
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..." |