comparison mxtool/mx.py @ 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 54819cdcca7f
comparison
equal deleted inserted replaced
5071:9d055af068a8 5072:f6503609a12d
1129 '-cp', cp, '-g', '-enableJavadoc', 1129 '-cp', cp, '-g', '-enableJavadoc',
1130 '-warn:-unusedImport,-unchecked', 1130 '-warn:-unusedImport,-unchecked',
1131 '-d', outputDir] 1131 '-d', outputDir]
1132 jdtProperties = join(p.dir, '.settings', 'org.eclipse.jdt.core.prefs') 1132 jdtProperties = join(p.dir, '.settings', 'org.eclipse.jdt.core.prefs')
1133 if not exists(jdtProperties): 1133 if not exists(jdtProperties):
1134 log('JDT properties file {0} not found - fix by running "mx eclipseinit"'.format(jdtProperties)) 1134 # Try to fix a missing properties file by running eclipseinit
1135 eclipseinit([])
1136 if not exists(jdtProperties):
1137 log('JDT properties file {0} not found'.format(jdtProperties))
1135 else: 1138 else:
1136 jdtArgs += ['-properties', jdtProperties] 1139 jdtArgs += ['-properties', jdtProperties]
1137 jdtArgs.append('@' + argfile.name) 1140 jdtArgs.append('@' + argfile.name)
1138 run(jdtArgs) 1141 run(jdtArgs)
1139 finally: 1142 finally: