comparison mxtool/mx.py @ 18861:869ee319c377

mx: Fixed eclipse annotation processor configuration should serialize JAVA_HOME with the original value.
author Christian Humer <christian.humer@gmail.com>
date Tue, 13 Jan 2015 17:10:33 +0100
parents fdf29cc07ec2
children c3bb622095f1
comparison
equal deleted inserted replaced
18860:441cc8350b96 18861:869ee319c377
3818 launchOut = XMLDoc() 3818 launchOut = XMLDoc()
3819 consoleOn = 'true' if logToConsole else 'false' 3819 consoleOn = 'true' if logToConsole else 'false'
3820 launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'}) 3820 launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'})
3821 launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output', 'value': consoleOn}) 3821 launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output', 'value': consoleOn})
3822 launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'}) 3822 launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'})
3823 launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : java(p.javaCompliance).jdk}) 3823 launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : _opts.java_home})
3824 launchOut.element('mapEntry', {'key' : 'EXTRA_JAVA_HOMES', 'value' : _opts.extra_java_homes}) 3824 launchOut.element('mapEntry', {'key' : 'EXTRA_JAVA_HOMES', 'value' : _opts.extra_java_homes})
3825 launchOut.close('mapAttribute') 3825 launchOut.close('mapAttribute')
3826 3826
3827 if refresh: 3827 if refresh:
3828 if refreshFile is None: 3828 if refreshFile is None: