diff options
Diffstat (limited to 'scripts/spidermonkify.py')
| -rw-r--r-- | scripts/spidermonkify.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index b8adcf77b..9851f6d25 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -40,6 +40,7 @@ subprocess.check_call([os.path.join(binaryen_root, 'bin', 'binaryen-shell'), wast_target, '--lower-case', '--print'], stdout=open(temp, 'w')) shutil.copyfile(temp, wast_target) +os.remove(temp) # fix up wast wast = open(wast_target).read() |