diff options
| -rw-r--r-- | tools/metrics.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index 7e54531f5..bb84f803e 100644 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -55,7 +55,7 @@ def combine_maps(map_files, filters=None): # Apply path filters to JSON data if filters: filtered_files = [ - f for f in json_data["files"] + f for f in json_data.get("files", []) if f.get("path") and any(filt in f["path"] for filt in filters) ] json_data["files"] = filtered_files |