changeset 14856:0d158f22f14c

Merge.
author Josef Eisl <josef.eisl@jku.at>
date Thu, 27 Mar 2014 17:31:20 +0100
parents 3a855006bf28 (current diff) 66ac13a2c7a1 (diff)
children 9c089e418bc9
files
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mxtool/mx.py	Thu Mar 27 16:23:22 2014 +0100
+++ b/mxtool/mx.py	Thu Mar 27 17:31:20 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: