#!/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() |