# HG changeset patch
# User Lukas Stadler <lukas.stadler@oracle.com>
# Date 1395935687 -3600
# Node ID 66ac13a2c7a1c8e5af65a45aeb7e8c3a64a14371
# Parent  4ab660bf17dfb221eae0e0b317110dcde555cfa1
pass EXTRA_JAVA_HOMES to eclipse builders

diff -r 4ab660bf17df -r 66ac13a2c7a1 mxtool/mx.py
--- 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: