# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1331730579 -3600
# Node ID f6503609a12d41624be1888c3ece153964657278
# Parent  9d055af068a892695b77d0ce013de932873a8d9d
Made the Eclipse properties be automatically generated if they don't exist when building with the Eclipse batch compiler.

diff -r 9d055af068a8 -r f6503609a12d mxtool/mx.py
--- a/mxtool/mx.py	Wed Mar 14 13:54:32 2012 +0100
+++ b/mxtool/mx.py	Wed Mar 14 14:09:39 2012 +0100
@@ -1131,7 +1131,10 @@
                          '-d', outputDir]
                 jdtProperties = join(p.dir, '.settings', 'org.eclipse.jdt.core.prefs')
                 if not exists(jdtProperties):
-                    log('JDT properties file {0} not found - fix by running "mx eclipseinit"'.format(jdtProperties))
+                    # Try to fix a missing properties file by running eclipseinit
+                    eclipseinit([])
+                if not exists(jdtProperties):
+                    log('JDT properties file {0} not found'.format(jdtProperties))
                 else:
                     jdtArgs += ['-properties', jdtProperties]
                 jdtArgs.append('@' + argfile.name)