diff options
| author | paltherr <paltherr@epfl.ch> | 2003-10-28 13:33:50 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-10-28 13:33:50 +0000 |
| commit | 6f239df8e7ed5926eaaebba11578b80ad9911696 (patch) | |
| tree | e51b07714a514ea886b3dbab7804f55d289f7ce6 /sources/bin | |
| parent | 9739f7b7b1d8f8f6d57aac1429a6f3fae9e36abe (diff) | |
| download | scala-6f239df8e7ed5926eaaebba11578b80ad9911696.tar.gz scala-6f239df8e7ed5926eaaebba11578b80ad9911696.tar.bz2 scala-6f239df8e7ed5926eaaebba11578b80ad9911696.zip | |
- Fixed warning messages
Diffstat (limited to 'sources/bin')
| -rw-r--r-- | sources/bin/.scala_wrapper.tmpl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sources/bin/.scala_wrapper.tmpl b/sources/bin/.scala_wrapper.tmpl index f843f102b1..5722af402e 100644 --- a/sources/bin/.scala_wrapper.tmpl +++ b/sources/bin/.scala_wrapper.tmpl @@ -498,13 +498,13 @@ case "$SCRIPT" in scalap* ) exec_scalap scala.tools.scalap.Main "$@";; scalatest* ) exec_scalatest scala.tools.scalatest.Main "$@";; socos* ) - warning "Deprecated command, use scalac${SCRIPT#socos} instead."; + warning "Deprecated command, use scalarun`expr "$SCRIPT" : 'socos\(.*\)'` instead."; exec_compile scalac.Main "$@";; surus* ) - warning "Deprecated command, use scalarun${SCRIPT#surus} instead."; + warning "Deprecated command, use scalarun`expr "$SCRIPT" : 'surus\(.*\)'` instead."; exec_compile scalai.Main "$@";; siris* ) - warning "Deprecated command, use scalaint${SCRIPT#siris} instead."; + warning "Deprecated command, use scalarun`expr "$SCRIPT" : 'siris\(.*\)'` instead."; exec_compile scalai.Main -interactive "$@";; * ) abort "Don't know what to do for $SCRIPT.";; esac; |