diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 10:32:21 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 10:32:21 -0800 |
| commit | 60bfb02f752e6d7383f077e892b8c10096c40824 (patch) | |
| tree | dd95cd2d2141f6beb26166a4abd8ae23f01e513e /scripts/spidermonkify.py | |
| parent | 8f16bf557b9bc261b10aeee9aafd544ff2c1e082 (diff) | |
| download | binaryen-60bfb02f752e6d7383f077e892b8c10096c40824.tar.gz binaryen-60bfb02f752e6d7383f077e892b8c10096c40824.tar.bz2 binaryen-60bfb02f752e6d7383f077e892b8c10096c40824.zip | |
remove temp file
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() |