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 /sources | |
| parent | 50cfa1ce61526d3e3460d36b453c9e1a508f363d (diff) | |
| download | scala-32f01ba87a5c1223eb9097d0a89f5203d93b8acc.tar.gz scala-32f01ba87a5c1223eb9097d0a89f5203d93b8acc.tar.bz2 scala-32f01ba87a5c1223eb9097d0a89f5203d93b8acc.zip | |
- Fixed typo
Diffstat (limited to 'sources')
| -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; |