1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/process_optimize_instructions.py b/scripts/process_optimize_instructions.py
new file mode 100755
index 000000000..a9337b13b
--- /dev/null
+++ b/scripts/process_optimize_instructions.py
@@ -0,0 +1,16 @@
+#!/usr/bin/python
+
+import os
+
+root = os.path.dirname(os.path.dirname(__file__))
+
+infile = os.path.join(root, 'src', 'passes', 'OptimizeInstructions.wast')
+outfile = os.path.join(root, 'src', 'passes',
+                       'OptimizeInstructions.wast.processed')
+
+out = open(outfile, 'w')
+
+for line in open(infile):
+  out.write('"' + line.strip().replace('"', '\\"') + '\\n"\n')
+
+out.close()