comparison mxtool/mx.py @ 11597:723796685546

more verbose output for eclipseinit if it cannot place workingsets.xml in Eclipse metadata location
author Michael Haupt <michael.haupt@oracle.com>
date Wed, 11 Sep 2013 09:13:27 +0200
parents dc3c8df55905
children 3676540f71cf
comparison
equal deleted inserted replaced
11596:91e5f927af63 11597:723796685546
2556 If no workspace root directory can be identified, the Graal project root directory is used and the user has to place the workingsets.xml file by hand. 2556 If no workspace root directory can be identified, the Graal project root directory is used and the user has to place the workingsets.xml file by hand.
2557 """ 2557 """
2558 2558
2559 # identify the location where to look for workingsets.xml 2559 # identify the location where to look for workingsets.xml
2560 wsfilename = 'workingsets.xml' 2560 wsfilename = 'workingsets.xml'
2561 wsloc = '.metadata/.plugins/org.eclipse.ui.workbench'
2561 wsroot = suite.dir 2562 wsroot = suite.dir
2562 if os.environ.has_key('WORKSPACE'): 2563 if os.environ.has_key('WORKSPACE'):
2563 wsroot = os.environ['WORKSPACE'] 2564 wsroot = os.environ['WORKSPACE']
2564 wsdir = join(wsroot, '.metadata/.plugins/org.eclipse.ui.workbench') 2565 wsdir = join(wsroot, wsloc)
2565 if not exists(wsdir): 2566 if not exists(wsdir):
2566 wsdir = wsroot 2567 wsdir = wsroot
2568 log('Could not find Eclipse metadata directory. Please place ' + wsfilename + ' in ' + wsloc + ' manually.')
2567 wspath = join(wsdir, wsfilename) 2569 wspath = join(wsdir, wsfilename)
2568 2570
2569 # gather working set info from project data 2571 # gather working set info from project data
2570 workingSets = dict() 2572 workingSets = dict()
2571 for p in projects(): 2573 for p in projects():