diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-11 09:18:51 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-11 09:18:51 +0000 |
commit | 32f01ba87a5c1223eb9097d0a89f5203d93b8acc (patch) | |
tree | 5d9e6266935633ca653c46dfe96ad949c2d25170 | |
parent | 50cfa1ce61526d3e3460d36b453c9e1a508f363d (diff) | |
download | scala-32f01ba87a5c1223eb9097d0a89f5203d93b8acc.tar.gz scala-32f01ba87a5c1223eb9097d0a89f5203d93b8acc.tar.bz2 scala-32f01ba87a5c1223eb9097d0a89f5203d93b8acc.zip |
- Fixed typo
-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 1e3d5c8fac..2fbe0df78d 100644 --- a/sources/bin/.scala_wrapper.tmpl +++ b/sources/bin/.scala_wrapper.tmpl @@ -336,10 +336,10 @@ case "$SCRIPT" in warning "Deprecated command, use scalac${SCRIPT#socos} instead."; exec_compile scalac.Main "$@";; surus* ) - warning "Deprecated command, use scalarun${SCRIPT#socos} instead."; + warning "Deprecated command, use scalarun${SCRIPT#surus} instead."; exec_compile scalai.Main "$@";; siris* ) - warning "Deprecated command, use scalaint${SCRIPT#socos} instead."; + warning "Deprecated command, use scalaint${SCRIPT#siris} instead."; exec_compile scalai.Main -interactive "$@";; * ) abort "Don't know what to do for $SCRIPT.";; esac; |