# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1396440686 -7200
# Node ID dd5095578b79cecebb2439fe5ea36cdd41939319
# Parent  9d32e87ea98b3d834dd0de1358cd92a71669d160
Always compile ClasspathDump.java to avoid class version problems

diff -r 9d32e87ea98b -r dd5095578b79 mxtool/mx.py
--- a/mxtool/mx.py	Wed Apr 02 10:05:08 2014 +0200
+++ b/mxtool/mx.py	Wed Apr 02 14:11:26 2014 +0200
@@ -1427,9 +1427,7 @@
     def _init_classpaths(self):
         myDir = dirname(__file__)
         javaSource = join(myDir, 'ClasspathDump.java')
-        javaClass = join(myDir, 'ClasspathDump.class')
-        if not exists(javaClass) or getmtime(javaClass) < getmtime(javaSource):
-            subprocess.check_call([self.javac, '-d', myDir, javaSource])
+        subprocess.check_call([self.javac, '-d', myDir, javaSource])
         self._bootclasspath, self._extdirs, self._endorseddirs = [x if x != 'null' else None for x in subprocess.check_output([self.java, '-cp', myDir, 'ClasspathDump']).split('|')]
         if not self._bootclasspath or not self._extdirs or not self._endorseddirs:
             warn("Could not find all classpaths: boot='" + str(self._bootclasspath) + "' extdirs='" + str(self._extdirs) + "' endorseddirs='" + str(self._endorseddirs) + "'")