diff options
| author | michelou <michelou@epfl.ch> | 2007-04-18 14:10:07 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2007-04-18 14:10:07 +0000 |
| commit | a7da970fa8df1a2ef304c5228ba1c6294ca5ebe6 (patch) | |
| tree | 0b5b73c2fb2ae39875013a998293b4b865a58e48 /src/manual/scala/man1/scalac.scala | |
| parent | 46a32e94ffb7c95700b61cb09bc105321daf6c05 (diff) | |
| download | scala-a7da970fa8df1a2ef304c5228ba1c6294ca5ebe6.tar.gz scala-a7da970fa8df1a2ef304c5228ba1c6294ca5ebe6.tar.bz2 scala-a7da970fa8df1a2ef304c5228ba1c6294ca5ebe6.zip | |
added variable JAVA_OPTS to generated man pages
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", |