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 | |
parent | 9739f7b7b1d8f8f6d57aac1429a6f3fae9e36abe (diff) | |
download | scala-6f239df8e7ed5926eaaebba11578b80ad9911696.tar.gz scala-6f239df8e7ed5926eaaebba11578b80ad9911696.tar.bz2 scala-6f239df8e7ed5926eaaebba11578b80ad9911696.zip |
- Fixed warning messages
-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; |