From 60bfb02f752e6d7383f077e892b8c10096c40824 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Mon, 7 Mar 2016 10:32:21 -0800
Subject: remove temp file

---
 scripts/spidermonkify.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts/spidermonkify.py')

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()
-- 
cgit v1.2.3