diff options
author | Alon Zakai <azakai@google.com> | 2020-10-20 16:15:24 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-20 16:15:24 -0700 |
commit | 2927d92a0df05512649629084d9b0013e002ae89 (patch) | |
tree | 2d2dad4f6098d4c22fdf62eb126babd4cfbe6ae5 /check.py | |
parent | 8b31756134ba4460d1dc5320198a87f88af2443c (diff) | |
download | binaryen-2927d92a0df05512649629084d9b0013e002ae89.tar.gz binaryen-2927d92a0df05512649629084d9b0013e002ae89.tar.bz2 binaryen-2927d92a0df05512649629084d9b0013e002ae89.zip |
Remove remnants of spec interpreter, and excess mozjs warning (#3262)
The spec interpreter is no longer used at all. Mozjs is still used optionally, but
while it was crucial in the past for test coverage, it is entirely optional now and
not run by default, so no need to warn.
Diffstat (limited to 'check.py')
-rwxr-xr-x | check.py | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -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() |