diff options
Diffstat (limited to 'tools/lint/perfdocs/gatherer.py')
-rw-r--r-- | tools/lint/perfdocs/gatherer.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/lint/perfdocs/gatherer.py b/tools/lint/perfdocs/gatherer.py index 828c2f7f2b..89f03cfdbb 100644 --- a/tools/lint/perfdocs/gatherer.py +++ b/tools/lint/perfdocs/gatherer.py @@ -87,6 +87,9 @@ class Gatherer(object): if any(d in str(path.resolve()) for d in exclude_dir): continue files = [f for f in os.listdir(path)] + + # Metrics are optional so it's only added to the matched if we + # find the `metrics.rst` file in the perfdocs folder matched = {"path": str(path), "yml": "", "rst": "", "static": []} for file in files: @@ -95,6 +98,8 @@ class Gatherer(object): matched["yml"] = file elif file == "index.rst": matched["rst"] = file + elif file == "metrics.rst": + matched["metrics"] = file elif file.split(".")[-1] in ALLOWED_STATIC_FILETYPES: matched["static"].append(file) |