Skip to content

Commit 2864ac8

Browse files
authored
Merge pull request #22898 from asgerf/fix-check-query-ids
Fix check-query-ids reporting files as duplicates of themselves
2 parents ee9ff23 + 6d3fc31 commit 2864ac8

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

‎misc/scripts/check-query-ids.py‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,8 @@ def main():
2020
query_ids: Dict[str, List[str]] = {}
2121

2222
# Just check src folders for now to avoid churn
23-
for query_path in Path().glob("**/src/**/*.ql"):
23+
# The glob can yield the same file more than once when its path contains several `src` folders.
24+
for query_path in sorted(set(Path().glob("**/src/**/*.ql"))):
2425
# Skip compiled query packs
2526
if any(p == ".codeql" for p in query_path.parts):
2627
continue

0 commit comments

Comments
 (0)