diff options
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 09b17c83..75b30003 100644 --- a/src/settings.js +++ b/src/settings.js @@ -115,6 +115,8 @@ var LIBRARY_DEBUG = 0; // Print out when we enter a library call (library*.js). var GL_DEBUG = 0; // Print out all calls into WebGL. As with LIBRARY_DEBUG, you can set a runtime // option, in this case GL.debug. +var PROFILE_MAIN_LOOP = 0; // Profile the function called in set_main_loop + var DISABLE_EXCEPTION_CATCHING = 0; // Disables generating code to actually catch exceptions. If the code you // are compiling does not actually rely on catching exceptions (but the // compiler generates code for it, maybe because of stdlibc++ stuff), |