diff options
| author | Max Graey <maxgraey@gmail.com> | 2020-10-19 20:19:33 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-19 10:19:33 -0700 |
| commit | 770a042535cd901902cd23410d9a9488dfc020e2 (patch) | |
| tree | 8b7f5347c1e1ffc78995eebcfba3d0fe416b6765 | |
| parent | e382c577bc7df6f26933a7b7627757ad32bca842 (diff) | |
| download | binaryen-770a042535cd901902cd23410d9a9488dfc020e2.tar.gz binaryen-770a042535cd901902cd23410d9a9488dfc020e2.tar.bz2 binaryen-770a042535cd901902cd23410d9a9488dfc020e2.zip | |
Remove process_optimize_instructions.py which is no longer needed after #3200 (#3258)
| -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() |