Utility to replace CRLF with LF in argument files.
diff --git a/Tools/scripts/crlf.py b/Tools/scripts/crlf.py
new file mode 100755
index 0000000..3f843fe
--- /dev/null
+++ b/Tools/scripts/crlf.py
@@ -0,0 +1,19 @@
+#! /usr/bin/env python
+
+"Replace CRLF with LF in argument files. Print names of changed files."
+
+import sys, regsub, os
+for file in sys.argv[1:]:
+ if os.path.isdir(file):
+ print file, "Directory!"
+ continue
+ data = open(file, "rb").read()
+ if '\0' in data:
+ print file, "Binary!"
+ continue
+ newdata = regsub.gsub("\r\n", "\n", data)
+ if newdata != data:
+ print file
+ f = open(file, "wb")
+ f.write(newdata)
+ f.close()