1 files changed, 11 insertions, 6 deletions
diff --git a/prequeue.py b/prequeue.py
index 991db7eb8..c90d133ea 100644
--- a/prequeue.py
+++ b/prequeue.py
@@ -1,11 +1,16 @@
+# coding: utf-8
+
+# Starting a new python process to preprocess each source file
+# creates too much overhead. Instead, a list of files to preprocess
+# is fed into a script run from a single process.
+
 import os
 import sys
 import preprocessor
 
 if __name__ == '__main__':
-	for source in sys.argv[1:]:
-		dest = os.path.splitext(source)[0] + '.tx'
-		sys.stdin  = open(source, 'r')
-		sys.stdout = open(dest, 'w')
-		preprocessor.preprocess()
-
+    for source in sys.argv[1:]:
+        dest = os.path.splitext(source)[0] + '.tx'
+        sys.stdin  = open(source, 'r')
+        sys.stdout = open(dest, 'w')
+        preprocessor.preprocess()