diff options
author | paltherr <paltherr@epfl.ch> | 2003-12-08 16:57:08 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-12-08 16:57:08 +0000 |
commit | 1efee7453f99d79b62e7daf36d74b78f6517b12f (patch) | |
tree | 29d7ffffc192fcdd1d76dd9338030c86155e0c8a | |
parent | 255be1e85a0c6a89b283974beca8095aa0ce5c01 (diff) | |
download | scala-1efee7453f99d79b62e7daf36d74b78f6517b12f.tar.gz scala-1efee7453f99d79b62e7daf36d74b78f6517b12f.tar.bz2 scala-1efee7453f99d79b62e7daf36d74b78f6517b12f.zip |
- Added scala.jar to classpath for interprter
-rw-r--r-- | sources/bin/.scala_wrapper.tmpl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/bin/.scala_wrapper.tmpl b/sources/bin/.scala_wrapper.tmpl index cad3722f8b..09442ff2a4 100644 --- a/sources/bin/.scala_wrapper.tmpl +++ b/sources/bin/.scala_wrapper.tmpl @@ -490,8 +490,8 @@ case "$SCRIPT" in scala-info ) scala_info "$@";; scalacboot*) exec_compiler java scalac.Main "$@";; scalac* ) exec_compiler scala scala.tools.scalac.Main "$@";; - scalarun* ) exec_compiler java scala.tools.scalai.Main "$@";; - scalaint* ) exec_compiler java scala.tools.scalai.Main -interactive "$@";; + scalarun* ) exec_compiler scala scala.tools.scalai.Main "$@";; + scalaint* ) exec_compiler scala scala.tools.scalai.Main -interactive "$@";; scaladoc* ) exec_compile_tool scala scala.tools.scaladoc.Main "$@";; scalap* ) exec_compile_tool scala scala.tools.scalap.Main "$@";; dtd2scala* ) exec_tool scala scala.tools.dtd2scala.Main "$@";; |