1 files changed, 0 insertions, 31 deletions
diff --git a/Tools/scripts/fixps.py b/Tools/scripts/fixps.py
deleted file mode 100755
index 725300e..0000000
--- a/Tools/scripts/fixps.py
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env python3
-
-# Fix Python script(s) to reference the interpreter via /usr/bin/env python.
-# Warning: this overwrites the file without making a backup.
-
-import sys
-import re
-
-
-def main():
-    for filename in sys.argv[1:]:
-        try:
-            f = open(filename, 'r')
-        except IOError as msg:
-            print(filename, ': can\'t open :', msg)
-            continue
-        with f:
-            line = f.readline()
-            if not re.match('^#! */usr/local/bin/python', line):
-                print(filename, ': not a /usr/local/bin/python script')
-                continue
-            rest = f.read()
-        line = re.sub('/usr/local/bin/python',
-                      '/usr/bin/env python', line)
-        print(filename, ':', repr(line))
-        with open(filename, "w") as f:
-            f.write(line)
-            f.write(rest)
-
-if __name__ == '__main__':
-    main()