diff options
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/settings.js b/src/settings.js index 97963ac5..9ed87bd6 100644 --- a/src/settings.js +++ b/src/settings.js @@ -113,12 +113,6 @@ var INLINING_LIMIT = 0; // A limit on inlining. If 0, we will inline normally i // we will prevent inlining of functions of this size or larger // in closure. 50 is a reasonable setting if you do not want // inlining -var CATCH_EXIT_CODE = 0; // If set, causes exit() to throw an exception object which is caught - // in a try..catch block and results in the exit status being - // returned from run(). If zero (the default), the program is just - // terminated with an error message, that is, the exception thrown - // by exit() is not handled in any way (in particular, the stack - // position will not be reset). // Generated code debugging options var SAFE_HEAP = 0; // Check each write to the heap, for example, this will give a clear |