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 79e949fa..1db91dca 100644 --- a/src/settings.js +++ b/src/settings.js @@ -48,6 +48,8 @@ var VERBOSE = 0; // When set to 1, will generate more verbose output during comp var INVOKE_RUN = 1; // Whether we will run the main() function. Disable if you embed the generated // code in your own, and will call main() yourself at the right time (which you // can do with Module.callMain(), with an optional parameter of commandline args). +var NO_EXIT_RUNTIME = 0; // If set, the runtime is not quit when main() completes (allowing code to + // run afterwards, for example from the browser main event loop). var INIT_HEAP = 0; // Whether to initialize memory anywhere other than the stack to 0. var TOTAL_STACK = 5*1024*1024; // The total stack size. There is no way to enlarge the stack, so this // value must be large enough for the program's requirements. If |