comparison mxtool/mx.py @ 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 d2038d372cd2
children 7dfc0e9fd45a
comparison
equal deleted inserted replaced
14784:4ab660bf17df 14785:66ac13a2c7a1
3014 consoleOn = 'true' if logToConsole else 'false' 3014 consoleOn = 'true' if logToConsole else 'false'
3015 launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'}) 3015 launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'})
3016 launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output', 'value': consoleOn}) 3016 launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output', 'value': consoleOn})
3017 launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'}) 3017 launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'})
3018 launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : java(p.javaCompliance).jdk}) 3018 launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : java(p.javaCompliance).jdk})
3019 launchOut.element('mapEntry', {'key' : 'EXTRA_JAVA_HOMES', 'value' : _opts.extra_java_homes})
3019 launchOut.close('mapAttribute') 3020 launchOut.close('mapAttribute')
3020 3021
3021 if refresh: 3022 if refresh:
3022 if refreshFile is None: 3023 if refreshFile is None:
3023 refreshScope = '${project}' 3024 refreshScope = '${project}'