From e6f0318bdfa49bde503742c856c8415f9b2c8018 Mon Sep 17 00:00:00 2001 From: oy Date: Wed, 13 Apr 2011 20:22:10 +0200 Subject: added "fixed some header guards and added a script to fix them all!" by Choupom --- scripts/check_header_guards.py | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 scripts/check_header_guards.py (limited to 'scripts') diff --git a/scripts/check_header_guards.py b/scripts/check_header_guards.py new file mode 100644 index 00000000..bece10e9 --- /dev/null +++ b/scripts/check_header_guards.py @@ -0,0 +1,35 @@ +import os + + +PATH = "../src/" + + +def check_file(filename): + file = open(filename) + while 1: + line = file.readline() + if len(line) == 0: + break + if line[0] == "/" or line[0] == "*" or line[0] == "\r" or line[0] == "\n" or line[0] == "\t": + continue + if line[:7] == "#ifndef": + hg = "#ifndef " + ("_".join(filename.split(PATH)[1].split("/"))[:-2]).upper() + "_H" + if line[:-1] != hg: + print "Wrong header guard in " + filename + else: + print "Missing header guard in " + filename + break + file.close() + + + +def check_dir(dir): + list = os.listdir(dir) + for file in list: + if os.path.isdir(dir+file): + if file != "external" and file != "generated": + check_dir(dir+file+"/") + elif file[-2:] == ".h" and file != "keynames.h": + check_file(dir+file) + +check_dir(PATH) -- cgit 1.4.1