diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-15 14:44:58 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-15 14:44:58 -0800 |
commit | 8946ff61034c808c17a4c8175ff4c69de58669eb (patch) | |
tree | 2f373d27f3adcaa8f01adf9a9d52e1fa49fe8a85 /src/manual | |
parent | 2194e9061d4363f515d7f539a48b860182237914 (diff) | |
parent | 1dceb39bdf9d95e9f3f0887b643c7fcca6464f9e (diff) | |
download | scala-8946ff61034c808c17a4c8175ff4c69de58669eb.tar.gz scala-8946ff61034c808c17a4c8175ff4c69de58669eb.tar.bz2 scala-8946ff61034c808c17a4c8175ff4c69de58669eb.zip |
Merge pull request #3532 from som-snytt/issue/7711
SI-7711 Do not emit extra argv in script body
Diffstat (limited to 'src/manual')
-rw-r--r-- | src/manual/scala/man1/scala.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/manual/scala/man1/scala.scala b/src/manual/scala/man1/scala.scala index 6b3be8b77f..92d9c59cca 100644 --- a/src/manual/scala/man1/scala.scala +++ b/src/manual/scala/man1/scala.scala @@ -215,7 +215,7 @@ object scala extends Command { "exec scala \"$0\" \"$@\"\n" + "!#\n" + "Console.println(\"Hello, world!\")\n" + - "argv.toList foreach Console.println"), + "args.toList foreach Console.println"), "Here is a complete Scala script for MS Windows: ", @@ -226,7 +226,7 @@ object scala extends Command { "goto :eof\n" + "::!#\n" + "Console.println(\"Hello, world!\")\n" + - "argv.toList foreach Console.println"), + "args.toList foreach Console.println"), "If you want to use the compilation cache to speed up multiple executions " + "of the script, then add " & Mono("-savecompiled") & " to the scala " + @@ -237,7 +237,7 @@ object scala extends Command { "exec scala -savecompiled \"$0\" \"$@\"\n" + "!#\n" + "Console.println(\"Hello, world!\")\n" + - "argv.toList foreach Console.println")) + "args.toList foreach Console.println")) val exitStatus = Section("EXIT STATUS", |