diff options
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 7df86c90..24c52d59 100644 --- a/src/settings.js +++ b/src/settings.js @@ -26,6 +26,7 @@ var ASSERTIONS = 1; // Whether we should add runtime assertions, for example to // exceed it's size, whether all allocations (stack and static) are // of positive size, etc., whether we should throw if we encounter a bad __label__, i.e., // if code flow runs into a fault +var VERBOSE = 0; // When set to 1, will generate more verbose output during compilation. var INVOKE_RUN = 1; // Whether we will call run(). Disable if you embed the generated // code in your own, and will call run() yourself at the right time |