contrib/catch2/tools/scripts/checkDuplicateFilenames.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#!/usr/bin/env python3

import os
import sys

files_set = set()

for root, dir, files in os.walk("src/catch2"):
    for file in files:
        if file not in files_set:
            files_set.add(file)
        else:
            print("File %s is duplicate" % file)
            sys.exit(1)