# HG changeset patch # User Doug Simon # Date 1400186528 -7200 # Node ID 807090ddbbf248d34753eddae6537bfc45c402a1 # Parent 6a13c422fca496577f4e6d9a13cc1eea7a409d69 use JDK with highest compliance level for generated Eclipse attach launcher diff -r 6a13c422fca4 -r 807090ddbbf2 mxtool/mx.py --- a/mxtool/mx.py Thu May 15 19:03:16 2014 +0200 +++ b/mxtool/mx.py Thu May 15 22:42:08 2014 +0200 @@ -2994,7 +2994,7 @@ elif dep.isProject(): memento = XMLDoc().element('javaProject', {'name' : dep.name}).xml(standalone='no') slm.element('container', {'memento' : memento, 'typeId':'org.eclipse.jdt.launching.sourceContainer.javaProject'}) - if javaCompliance is None or dep.javaCompliance < javaCompliance: + if javaCompliance is None or dep.javaCompliance > javaCompliance: javaCompliance = dep.javaCompliance if javaCompliance: