changeset 5072:f6503609a12d

Made the Eclipse properties be automatically generated if they don't exist when building with the Eclipse batch compiler.
author Doug Simon <doug.simon@oracle.com>
date Wed, 14 Mar 2012 14:09:39 +0100
parents 9d055af068a8
children 2db1ad9dd385
files mxtool/mx.py
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)