diff options
Diffstat (limited to 'src/settings.js')
| -rw-r--r-- | src/settings.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 5dc1e2eb..4881e149 100644 --- a/src/settings.js +++ b/src/settings.js @@ -194,6 +194,11 @@ 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 PROFILE = 0; // Enables runtime profiling. See test_profiling for a usage example. var EXPORT_ALL = 0; // If true, we export all the symbols |