diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-01-25 17:37:29 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-01-25 17:37:29 -0800 |
commit | b97d3033f14e5f98527cf069f10287ddecea83cb (patch) | |
tree | aedca06028b8e133d8987896d9564c5baf7fb2e3 /src/settings.js | |
parent | 64381b4b3cf017ea714e90e030161d83e170f758 (diff) |
benchmark code gen option
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index ccf2a25b..6ffa8c33 100644 --- a/src/settings.js +++ b/src/settings.js @@ -317,6 +317,9 @@ var HEADLESS = 0; // If 1, will include shim code that tries to 'fake' a browser // very partial - it is hard to fake a whole browser! - so // keep your expectations low for this to work. +var BENCHMARK = 0; // If 1, will just time how long main() takes to execute, and not + // print out anything at all whatsover. This is useful for benchmarking. + var ASM_JS = 0; // If 1, generate code in asm.js format. XXX This is highly experimental, // and will not work on most codebases yet. It is NOT recommended that you // try this yet. |