diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-11 14:22:18 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-11 14:22:18 -0800 |
| commit | 0df60eadd9bcba09b0288ad5b5733cd79aed490f (patch) | |
| tree | 7fab68406f31f26e6209170eafbd98098992acea /src/js/wasm.js-post.js | |
| parent | 2ab5a35bbf64b8e910eda87b248c460a8abefec2 (diff) | |
| download | binaryen-0df60eadd9bcba09b0288ad5b5733cd79aed490f.tar.gz binaryen-0df60eadd9bcba09b0288ad5b5733cd79aed490f.tar.bz2 binaryen-0df60eadd9bcba09b0288ad5b5733cd79aed490f.zip | |
check for WasmJS in polyfill glue
Diffstat (limited to 'src/js/wasm.js-post.js')
| -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({}); |