From 4d8398255acc7556bb45c34cd2cb77dbe6d2ae3e Mon Sep 17 00:00:00 2001 From: Peng Wu Date: Wed, 6 Jun 2012 10:32:53 +0800 Subject: remove scripts --- scripts/addheader.py | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 scripts/addheader.py (limited to 'scripts/addheader.py') diff --git a/scripts/addheader.py b/scripts/addheader.py deleted file mode 100644 index 09e628e..0000000 --- a/scripts/addheader.py +++ /dev/null @@ -1,24 +0,0 @@ -#!/usr/bin/env python -import sys - -def add_header(name, header): - with file(name) as fin: - lines = fin.readlines() - with file(name, "w") as fout: - for l in header: - print >> fout, l, - if lines[0].startswith("/*") and lines[0].endswith("*/\n"): - pass - else: - print >> fout, lines[0], - for l in lines[1:]: - print >> fout, l, - -def main(): - with file("header") as f: - header = f.readlines() - for name in sys.argv[1:]: - add_header(name, header) - -if __name__ == "__main__": - main() -- cgit