1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/usr/bin/awk -f
BEGIN {
	FS="\t"
	current = "<unmarked>"
}
/^# FILE / {
	sub(/^# FILE +/, "")
	current = $0
}
/^\// {
	if($1 in fnames) {
		if(fnames[$1] != current) {
			dupes[$1] = dupes[$1] + 1
			fnames[$1] = fnames[$1] "\n" current
		}
	} else {
		fnames[$1] = current
	}
}
END {
	for(fname in dupes) {
		printf "duplicate filename %s found in:\n%s\n\n", fname, fnames[fname]
	}
}