1 files changed, 12 insertions, 0 deletions
diff --git a/tools/update-license.sh b/tools/update-license.sh
new file mode 100755
index 0000000..870e173
--- /dev/null
+++ b/tools/update-license.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+# Replaces license text with contents of file provided as an argument
+if [ ! $# -eq 1 ]; then
+	echo "Usage: $0 [file with new license header]"
+	exit 1
+fi
+find . -name "*.cpp" -or -name "*.h" | while read file; do
+	echo $file
+	sed '/\/\/ \* This.*/,/If not\, see.*/d' $file > $file.tmp
+	cat $1 $file.tmp > $file
+	rm $file.tmp
+done