diff options
Diffstat (limited to 'docs/development')
-rw-r--r-- | docs/development/jvm.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/development/jvm.txt b/docs/development/jvm.txt index 2497f9b741..2078505799 100644 --- a/docs/development/jvm.txt +++ b/docs/development/jvm.txt @@ -53,7 +53,7 @@ Scala Environment Options In the following example, simply replace <jdk> by -"java-1.4", "java-1.5", "java-1.6", "java-1.7" or +"java-1.5", "java-1.6", "java-1.7" or "java-ibm-1.5" to experiment with different Java VMs: > env JAVACMD=/home/linuxsoft/apps/<jdk>/bin/java \ |