# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1392132713 -3600
# Node ID 1472b8d3f142c5d0dc68de242bc930dbe31a75ed
# Parent  0995dcbd6dd8d62f8fc77fc19c5526c445420692
abort if bad --jdt argument given to 'mx build; command

diff -r 0995dcbd6dd8 -r 1472b8d3f142 mxtool/mx.py
--- a/mxtool/mx.py	Mon Feb 10 14:38:42 2014 -0500
+++ b/mxtool/mx.py	Tue Feb 11 16:31:53 2014 +0100
@@ -1567,11 +1567,15 @@
 
     jdtJar = None
     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) and get_env('JDT', None) is None:
-                # Silently ignore JDT if default location is used but not ecj.jar exists there
+        if not args.jdt.endswith('.jar'):
+            abort('Path for Eclipse batch compiler does not look like a jar file: ' + args.jdt)
+        jdtJar = args.jdt
+        if not exists(jdtJar):
+            if os.path.abspath(jdtJar) == os.path.abspath(defaultEcjPath) and get_env('JDT', None) is None:
+                # Silently ignore JDT if default location is used but does not exist
                 jdtJar = None
+            else:
+                abort('Eclipse batch compiler jar does not exist: ' + args.jdt)
 
     built = set()