mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-27 07:46:11 +01:00
15 lines
288 B
Python
15 lines
288 B
Python
|
#!/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)
|