diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-11 06:24:39 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-11 06:24:39 +0000 |
commit | 5ea9e558290bf3cdbdb0c941dcbdc14a9b90cc9f (patch) | |
tree | f1c4bf2b7d34c6f2377f59197a02897757eb2482 /sources/bin | |
parent | 6150a5b04ecbb2fa46aab49a226cf00dfae24e74 (diff) | |
download | scala-5ea9e558290bf3cdbdb0c941dcbdc14a9b90cc9f.tar.gz scala-5ea9e558290bf3cdbdb0c941dcbdc14a9b90cc9f.tar.bz2 scala-5ea9e558290bf3cdbdb0c941dcbdc14a9b90cc9f.zip |
- Added new command names
Diffstat (limited to 'sources/bin')
-rw-r--r-- | sources/bin/.scala_wrapper.tmpl | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/sources/bin/.scala_wrapper.tmpl b/sources/bin/.scala_wrapper.tmpl index 655ea7be68..1e3d5c8fac 100644 --- a/sources/bin/.scala_wrapper.tmpl +++ b/sources/bin/.scala_wrapper.tmpl @@ -89,7 +89,7 @@ configure() { # Prints a warning message on stderr. warning() { - echo "$0: warning: " "$@" 1>&2; + echo "$0: warning:" "$@" 1>&2; } # Prints an error message on stderr. @@ -327,10 +327,20 @@ configure; case "$SCRIPT" in scala-info ) scala_info "$@";; - socos* ) exec_compile scalac.Main "$@";; - surus* ) exec_compile scalai.Main "$@";; - siris* ) exec_compile scalai.Main -interactive "$@";; + scalac* ) exec_compile scalac.Main "$@";; + scaladoc* ) exec_compile scalac.Main -doc "$@";; + scalarun* ) exec_compile scalai.Main "$@";; + scalaint* ) exec_compile scalai.Main -interactive "$@";; dtd2scala* ) exec_dtd2scala dtd2scala.Main "$@";; + socos* ) + warning "Deprecated command, use scalac${SCRIPT#socos} instead."; + exec_compile scalac.Main "$@";; + surus* ) + warning "Deprecated command, use scalarun${SCRIPT#socos} instead."; + exec_compile scalai.Main "$@";; + siris* ) + warning "Deprecated command, use scalaint${SCRIPT#socos} instead."; + exec_compile scalai.Main -interactive "$@";; * ) abort "Don't know what to do for $SCRIPT.";; esac; |