summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py5
1 files changed, 0 insertions, 5 deletions
diff --git a/check.py b/check.py
index 52ab3c4de..a5cb991f1 100755
--- a/check.py
+++ b/check.py
@@ -29,11 +29,6 @@ from scripts.test import wasm2js
from scripts.test import wasm_opt
-if shared.options.interpreter:
- print('[ using wasm interpreter at "%s" ]' % shared.options.interpreter)
- assert os.path.exists(shared.options.interpreter), 'interpreter not found'
-
-
def get_changelog_version():
with open(os.path.join(shared.options.binaryen_root, 'CHANGELOG.md')) as f:
lines = f.readlines()