diff options
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. |