Changeset 130

Timestamp:

Sep 1, 2010, 9:40:17 PM (15 years ago)

Author:

dmik

Message:

env.cmd: Don't set JAVA_TOOL_OPTIONS when running make as it badly interferes with the bootstrap JDK 5.0.

File:

• trunk/env.cmd (modified) (1 diff)

trunk/env.cmd

@@ -174 +174 @@
  * Various Java runtime settings
  */
-if (\fRelease) then do
+if (\fRelease & \fMake) then do
     call EnvSet 'JAVA_TOOL_OPTIONS', '-XX:+UseOSErrorReporting'
 end