changeset 14785:66ac13a2c7a1

pass EXTRA_JAVA_HOMES to eclipse builders
author Lukas Stadler <lukas.stadler@oracle.com>
date Thu, 27 Mar 2014 16:54:47 +0100
parents 4ab660bf17df
children 0d158f22f14c
files mxtool/mx.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mxtool/mx.py	Thu Mar 27 13:20:41 2014 +0100
+++ b/mxtool/mx.py	Thu Mar 27 16:54:47 2014 +0100
@@ -3016,6 +3016,7 @@
     launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output', 'value': consoleOn})
     launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'})
     launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : java(p.javaCompliance).jdk})
+    launchOut.element('mapEntry', {'key' : 'EXTRA_JAVA_HOMES', 'value' : _opts.extra_java_homes})
     launchOut.close('mapAttribute')
 
     if refresh: