chenz

## fix_dupes.py
#!/usr/bin/env python

# This script parses devices.h and prints a copy to stdout in which
# all duplicate entries are either removed, or renamed with a number
# appended if they have different contents.

import re
import sys

def log(msg):
	#!/usr/bin/env python

	# This script parses devices.h and prints a copy to stdout in which
	# all duplicate entries are either removed, or renamed with a number
	# appended if they have different contents.

	import re
	import sys

	def log(msg):