diff options
Diffstat (limited to 'src/manual/scala/man1/scalac.scala')
| -rw-r--r-- | src/manual/scala/man1/scalac.scala | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/src/manual/scala/man1/scalac.scala b/src/manual/scala/man1/scalac.scala index af8108fb9e..c09c3d0aca 100644 --- a/src/manual/scala/man1/scalac.scala +++ b/src/manual/scala/man1/scalac.scala @@ -332,8 +332,22 @@ object scalac extends Command { MBold("JAVACMD"), "Specify the " & MBold("java") & " command to be used " & "for running the Scala code. Arguments may be specified " & - "as part of the environment variable; spaces, quotation marks " & - "etc., will be passed directly to the shell for expansion."))) + "as part of the environment variable; spaces, quotation marks, " & + "etc., will be passed directly to the shell for expansion."), + Definition( + MBold("JAVA_OPTS"), + SeqPara( + "Specify the options to be passed to the " & MBold("java") & + " command defined by " & MBold("JAVACMD") & ".", + + "With Java 1.5 (or newer) one may for example configure the " & + "memory usage of the JVM as follows: " & + Mono("JAVA_OPTS=-Xmx512M -Xms16M -Xss16M"), + + "With " & Link("GNU Java", "http://gcc.gnu.org/java/") & " one " & + "may configure the memory usage of the GIJ as follows: " & + Mono("JAVA_OPTS=--mx512m --ms16m") + )))) val examples = Section("EXAMPLES", |