diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/js/wasm.js-post.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/js/wasm.js-post.js b/src/js/wasm.js-post.js index 77eb9c61a..e81a4f7b8 100644 --- a/src/js/wasm.js-post.js +++ b/src/js/wasm.js-post.js @@ -182,6 +182,8 @@ function integrateWasmJS(Module) { } function doWasmPolyfill(method) { + if (typeof WasmJS !== 'function') return false; // not built with wasm.js polyfill? + // Use wasm.js to polyfill and execute code in a wasm interpreter. var wasmJS = WasmJS({}); |