diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-12-07 10:37:25 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-07 10:37:25 -0500 |
| commit | 1a007b1631509b9d72499a8f4402294017ee04dc (patch) | |
| tree | 92f8b0341497c7bd4e53aa82c690346536a244c3 /src/shell.js | |
| parent | df11c6f1fd1636a355b83a1c48b3a890596e6a32 (diff) | |
| parent | eb083723747a90cb6ab9853fec8d6e8ef54748bc (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'src/shell.js')
| -rw-r--r-- | src/shell.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/shell.js b/src/shell.js index b68e16d9..b41fbb51 100644 --- a/src/shell.js +++ b/src/shell.js @@ -91,6 +91,8 @@ else if (ENVIRONMENT_IS_SHELL) { } this['{{{ EXPORT_NAME }}}'] = Module; + + eval("if (typeof gc === 'function' && gc.toString().indexOf('[native code]') > 0) var gc = undefined"); // wipe out the SpiderMonkey shell 'gc' function, which can confuse closure (uses it as a minified name, and it is then initted to a non-falsey value unexpectedly) } else if (ENVIRONMENT_IS_WEB || ENVIRONMENT_IS_WORKER) { Module['read'] = function read(url) { |