diff --git a/scripts/testing/runtest b/scripts/testing/runtest index 263b94336..686434d3d 100755 --- a/scripts/testing/runtest +++ b/scripts/testing/runtest @@ -362,6 +362,7 @@ class Gather: aout.extend([os.path.join(root, x) for x in dnames]) else: aout.extend(glob.glob(x)) + aout = [x for x in aout if not x.startswith('.#')] return aout dirs = [for1(x) for x in re.split(r'\s+', dirs)]