diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-02-17 15:45:36 +0100 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-17 15:45:36 +0100 |
commit | 00f4a4148a96cdffa0a9606f077ff294aa3b1f8c (patch) | |
tree | 64ae2399eb78231f4f18c45de94990e91300d46c /src/compiler.js | |
parent | 3e0fa38db893f089de92ebe255301ff391f25793 (diff) |
remove PROFILE option. It adds unacceptable overhead, and all browsers have proper JS profilers these days - use those
Diffstat (limited to 'src/compiler.js')
-rw-r--r-- | src/compiler.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.js b/src/compiler.js index a615d984..0b43842e 100644 --- a/src/compiler.js +++ b/src/compiler.js @@ -179,7 +179,7 @@ assert(!(!NAMED_GLOBALS && BUILD_AS_SHARED_LIB)); // shared libraries must have if (phase == 'pre') { if (!MICRO_OPTS || !RELOOP || ASSERTIONS || CHECK_SIGNS || CHECK_OVERFLOWS || INIT_STACK || INIT_HEAP || - !SKIP_STACK_IN_SMALL || SAFE_HEAP || PROFILE || !DISABLE_EXCEPTION_CATCHING) { + !SKIP_STACK_IN_SMALL || SAFE_HEAP || !DISABLE_EXCEPTION_CATCHING) { print('// Note: Some Emscripten settings will significantly limit the speed of the generated code.'); } else { print('// Note: For maximum-speed code, see "Optimizing Code" on the Emscripten wiki, https://github.com/kripken/emscripten/wiki/Optimizing-Code'); |