catch2/tools/scripts/checkDuplicateFilenames.py

15 lines
288 B
Python
Raw Normal View History

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