diff options
| -rwxr-xr-x | scripts/process_optimize_instructions.py | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/scripts/process_optimize_instructions.py b/scripts/process_optimize_instructions.py deleted file mode 100755 index f10e66a8b..000000000 --- a/scripts/process_optimize_instructions.py +++ /dev/null @@ -1,16 +0,0 @@ -#!/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() |