lib/Tools/scala
changeset 41622 ad5474a8374b
parent 37174 6feaab4fc27d
child 43521 d477b92109b8
     1.1 --- a/lib/Tools/scala	Fri Jan 21 17:33:55 2011 +0100
     1.2 +++ b/lib/Tools/scala	Fri Jan 21 19:01:40 2011 +0100
     1.3 @@ -9,4 +9,4 @@
     1.4  [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
     1.5  
     1.6  CLASSPATH="$(jvmpath "$CLASSPATH")"
     1.7 -exec "$SCALA_HOME/bin/scala" "$@"
     1.8 +exec "$SCALA_HOME/bin/scala" -Dfile.encoding=UTF-8 "$@"