4 def add_header(name, header):
5 with file(name) as fin:
6 lines = fin.readlines()
7 with file(name, "w") as fout:
10 if lines[0].startswith("/*") and lines[0].endswith("*/\n"):
13 print >> fout, lines[0],
18 with file("header") as f:
19 header = f.readlines()
20 for name in sys.argv[1:]:
21 add_header(name, header)
23 if __name__ == "__main__":