diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-11-27 09:51:36 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-11-27 09:51:36 -0800 |
commit | 6782b5e97fcfb6a6da94b9ecc2fa57b76e943206 (patch) | |
tree | 42cc44c1b90a7af08b98de4d592029c8648a3db5 /src/settings.js | |
parent | 9d20f0799c3eb4136e2048274bf523cb9a81ed1e (diff) |
switch to all or nothing named globals, and add testing
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/settings.js b/src/settings.js index 4881e149..1d8805a8 100644 --- a/src/settings.js +++ b/src/settings.js @@ -194,10 +194,9 @@ var PGO = 0; // Profile-guided optimization. // All CORRECT_* options default to 1 with PGO builds. // See https://github.com/kripken/emscripten/wiki/Optimizing-Code for more info -var NUM_NAMED_GLOBALS = -1; // If >= 0, the number of globals we allow to be named. Other globals - // are then referred to by a base plus an offset (called an indexed global), - // saving global variables but adding runtime overhead. If -1, then we - // allow all globals to be named. +var NAMED_GLOBALS = 1; // If 1, we use global variables for globals. Otherwise + // they are referred to by a base plus an offset (called an indexed global), + // saving global variables but adding runtime overhead. var PROFILE = 0; // Enables runtime profiling. See test_profiling for a usage example. |