File: checkDuplicateFilenames.py

package info (click to toggle)
catch2 3.7.1-0.6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 10,296 kB
  • sloc: cpp: 50,696; python: 1,525; sh: 79; makefile: 18
file content (14 lines) | stat: -rwxr-xr-x 288 bytes parent folder | download | duplicates (7) 
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)