diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-04-20 09:43:11 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-04-20 09:43:11 -0700 |
commit | 96f46bba62e44eefa6ddf4ec031ed8725e95fb12 (patch) | |
tree | 0c0f8f590d8fc7309446824cc8cb53b7ed9d5c8a /src/settings.js | |
parent | f8f95c6626bbd21f4f7c6f65ad5d23865964a091 (diff) |
VERBOSE option
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 |