# HG changeset patch
# User Michael Haupt <michael.haupt@oracle.com>
# Date 1378883607 -7200
# Node ID 72379668554638d9d00cad14d34fbcf41d919fb5
# Parent  91e5f927af63a32521c390e1ec28f7263314dacb
more verbose output for eclipseinit if it cannot place workingsets.xml in Eclipse metadata location

diff -r 91e5f927af63 -r 723796685546 mxtool/mx.py
--- a/mxtool/mx.py	Tue Sep 10 22:39:50 2013 -0400
+++ b/mxtool/mx.py	Wed Sep 11 09:13:27 2013 +0200
@@ -2558,12 +2558,14 @@
 
     # identify the location where to look for workingsets.xml
     wsfilename = 'workingsets.xml'
+    wsloc = '.metadata/.plugins/org.eclipse.ui.workbench'
     wsroot = suite.dir
     if os.environ.has_key('WORKSPACE'):
         wsroot = os.environ['WORKSPACE']
-    wsdir = join(wsroot, '.metadata/.plugins/org.eclipse.ui.workbench')
+    wsdir = join(wsroot, wsloc)
     if not exists(wsdir):
         wsdir = wsroot
+        log('Could not find Eclipse metadata directory. Please place ' + wsfilename + ' in ' + wsloc + ' manually.')
     wspath = join(wsdir, wsfilename)
 
     # gather working set info from project data