# HG changeset patch
# User Andreas Woess <andreas.woess@oracle.com>
# Date 1433346201 -7200
# Node ID b939ee385ae440db8cab71adc5f318863787bb89
# Parent  70649030d5110c7e7114cda477c9c5417c950c6c
mx fsckprojects: exclude .workspace/

diff -r 70649030d511 -r b939ee385ae4 mxtool/mx.py
--- a/mxtool/mx.py	Wed Jun 03 17:38:26 2015 +0200
+++ b/mxtool/mx.py	Wed Jun 03 17:43:21 2015 +0200
@@ -4908,8 +4908,8 @@
         distIdeDirs = [d.get_ide_project_dir() for d in suite.dists if d.get_ide_project_dir() is not None]
         for dirpath, dirnames, files in os.walk(suite.dir):
             if dirpath == suite.dir:
-                # no point in traversing .hg or lib/
-                dirnames[:] = [d for d in dirnames if d not in ['.hg', 'lib']]
+                # no point in traversing .hg, lib, or .workspace
+                dirnames[:] = [d for d in dirnames if d not in ['.hg', 'lib', '.workspace']]
             elif dirpath in projectDirs:
                 # don't traverse subdirs of an existing project in this suite
                 dirnames[:] = []