Index: third_party/mojo/src/mojo/public/tools/dart_list_mojoms.py |
diff --git a/third_party/mojo/src/mojo/public/tools/dart_list_mojoms.py b/third_party/mojo/src/mojo/public/tools/dart_list_mojoms.py |
index 1ef886cfb60ac411fa1f4b6dc5746e6e1916bd97..ce27afd50083611217538c682913e5c9dea89bb1 100755 |
--- a/third_party/mojo/src/mojo/public/tools/dart_list_mojoms.py |
+++ b/third_party/mojo/src/mojo/public/tools/dart_list_mojoms.py |
@@ -25,9 +25,11 @@ def main(args): |
source_directory = args.source_directory |
# Prefix to chop off output. |
root_prefix = os.path.abspath(args.relative_directory_root) |
- for dirname, _, filenames in os.walk(source_directory): |
+ for dirname, dirnames, filenames in os.walk(source_directory): |
# filter for .mojom files. |
filenames = [f for f in filenames if f.endswith('.mojom')] |
+ # Skip any directories that start with 'test'. |
+ dirnames[:] = [d for d in dirnames if not d.startswith('test')] |
for f in filenames: |
path = os.path.abspath(os.path.join(dirname, f)) |
path = os.path.relpath(path, root_prefix) |