diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-09-18 12:57:07 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-09-18 12:57:07 -0700 |
| commit | 984d19ba2e67ec66dbd936323d2fec9543ce521c (patch) | |
| tree | 1b8aaeccae60f0c5fbf5617f5563db54787126c8 /src/settings.js | |
| parent | 00d573c696084b8cc5f3beb8c2eead00552dbc22 (diff) | |
profiling option
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 1d67e5b4..ef8b3999 100644 --- a/src/settings.js +++ b/src/settings.js @@ -114,6 +114,8 @@ AUTO_OPTIMIZE = 0; // When run with the CHECK_* options, will not fail on errors // checking enabled and which do not, that is, this is a way to automate the // generation of line data for CORRECT_*_LINES options +PROFILE = 0; // Enables runtime profiling. See test_profiling for a usage example. + EXPORTED_FUNCTIONS = ['_main']; // Functions that are explicitly exported, so they are guaranteed to // be accessible outside of the generated code. |