diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/settings.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.js b/src/settings.js index d2b47dc8..42e31b3a 100644 --- a/src/settings.js +++ b/src/settings.js @@ -410,7 +410,8 @@ var HEADLESS = 0; // If 1, will include shim code that tries to 'fake' a browser var BENCHMARK = 0; // If 1, will just time how long main() takes to execute, and not // print out anything at all whatsoever. This is useful for benchmarking. -var ASM_JS = 0; // If 1, generate code in asm.js format. +var ASM_JS = 0; // If 1, generate code in asm.js format. If 2, emits the same code except + // for omitting 'use asm' var PGO = 0; // Enables profile-guided optimization in the form of runtime checks for // which functions are actually called. Emits a list during shutdown that you |