gd-tools/Catch2-3.5.2/tools/scripts/checkDuplicateFilenames.py
2024-02-07 16:32:30 -04:00

15 lines
288 B
Python
Executable file

#!/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)