# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1388063635 -3600
# Node ID d3bd7a3bbb2b92b6f36bd8f8bc608833f18debf2
# Parent  6215ff7926473c8f8621855eff7f13f2a9343df4
added support for JDT environment variable which forces all Java source compilation to use the Eclipse batch compiler, including compilation as part of other commands such as eclipseinit

diff -r 6215ff792647 -r d3bd7a3bbb2b mxtool/mx.py
--- a/mxtool/mx.py	Thu Dec 26 12:07:07 2013 +0100
+++ b/mxtool/mx.py	Thu Dec 26 14:13:55 2013 +0100
@@ -1832,7 +1832,7 @@
 
     javaCompliance = java().javaCompliance
 
-    defaultEcjPath = join(_primary_suite.mxDir, 'ecj.jar')
+    defaultEcjPath = get_env('JDT', join(_primary_suite.mxDir, 'ecj.jar'))
 
     parser = parser if parser is not None else ArgumentParser(prog='mx build')
     parser.add_argument('-f', action='store_true', dest='force', help='force build (disables timestamp checking)')
@@ -1855,7 +1855,7 @@
     if args.jdt is not None:
         if args.jdt.endswith('.jar'):
             jdtJar = args.jdt
-            if not exists(jdtJar) and os.path.abspath(jdtJar) == os.path.abspath(defaultEcjPath):
+            if not exists(jdtJar) and os.path.abspath(jdtJar) == os.path.abspath(defaultEcjPath) and get_env('JDT', None) is None:
                 # Silently ignore JDT if default location is used but not ecj.jar exists there
                 jdtJar = None