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