aboutsummaryrefslogtreecommitdiff
path: root/src/settings.js
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-11-24 17:36:40 +0100
committerAlon Zakai <alonzakai@gmail.com>2012-11-24 17:36:40 +0100
commita27c01ed25bcba9abda5f06d79ab166ea5e9d608 (patch)
treef7db9c5eafe82c47359a42c7ecaccf547132551f /src/settings.js
parent915d48e596c36117b58c8d530f72abac8ea28e8e (diff)
allow limited the amount of named globals
Diffstat (limited to 'src/settings.js')
-rw-r--r--src/settings.js5
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