Add copyright header

1 files changed, 24 insertions, 0 deletions

diff --git a/scripts/addheader.py b/scripts/addheader.py
new file mode 100644
index 0000000..09e628e
--- /dev/null
+++ b/scripts/addheader.py
@@ -0,0 +1,24 @@
+#!/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()