# HG changeset patch
# User Christian Wimmer <christian.wimmer@oracle.com>
# Date 1356132424 28800
# Node ID 4974776828eca66912c04219688c564bb05d305f
# Parent  213c1297a814613b324ee7c7b651ac0d217cc406
Avoid recursive calls of build

diff -r 213c1297a814 -r 4974776828ec mxtool/mx.py
--- a/mxtool/mx.py	Fri Dec 21 10:45:37 2012 -0800
+++ b/mxtool/mx.py	Fri Dec 21 15:27:04 2012 -0800
@@ -1438,7 +1438,7 @@
                 jdtProperties = join(p.dir, '.settings', 'org.eclipse.jdt.core.prefs')
                 if not exists(jdtProperties):
                     # Try to fix a missing properties file by running eclipseinit
-                    eclipseinit([])
+                    eclipseinit([], buildProcessorJars=False)
                 if not exists(jdtProperties):
                     log('JDT properties file {0} not found'.format(jdtProperties))
                 else:
@@ -1872,13 +1872,14 @@
         os.makedirs(eclipseLaunches)
     return update_file(join(eclipseLaunches, name + '.launch'), launch)
 
-def eclipseinit(args, suite=None):
+def eclipseinit(args, suite=None, buildProcessorJars=True):
     """(re)generate Eclipse project configurations"""
 
     if suite is None:
         suite = _mainSuite
         
-    processorjars()
+    if buildProcessorJars:
+        processorjars()
 
     for p in projects():
         if p.native: