diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-11-27 20:11:19 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-27 20:11:19 -0800 |
| commit | ef7eb7ceeb6fbc3f818290abd3006ab36cb326cf (patch) | |
| tree | dd821b264f0fb662f635e2f14e0033379404c03a | |
| parent | ee0c41b39bcaf80144b8112d3e307d3e4630c077 (diff) | |
avoid overhead in named globals builds
| -rw-r--r-- | src/parseTools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parseTools.js b/src/parseTools.js index 558f5440..7387bf31 100644 --- a/src/parseTools.js +++ b/src/parseTools.js @@ -361,7 +361,7 @@ var UNINDEXABLE_GLOBALS = set( ); function noticePtr(ptr) { - if (!LibraryManager.loaded) UNINDEXABLE_GLOBALS[ptr] = 1; // we cannot index globals referred to in the library, since they are used there by name + if (!NAMED_GLOBALS && !LibraryManager.loaded) UNINDEXABLE_GLOBALS[ptr] = 1; // we cannot index globals referred to in the library, since they are used there by name } function isIndexableGlobal(ident) { |