diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-06-11 10:32:42 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-06-11 10:32:42 -0700 |
commit | 41a99b287182ea2870d51665c224ef6c315132ab (patch) | |
tree | ac0b8013875e82ab07ddbe58716a3f6098346b3b /src/settings.js | |
parent | 9d720befae4ae24ad49b1c814ab947dd090a0b32 (diff) |
remove GENERATING_HTML, it was confusing and gave little or no benefit
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/settings.js b/src/settings.js index abc722c3..2526081b 100644 --- a/src/settings.js +++ b/src/settings.js @@ -205,11 +205,6 @@ var LINKABLE = 0; // If set to 1, this file can be linked with others, either as // LINKABLE of 0 is very useful in that we can reduce the size of the // generated code very significantly, by removing everything not actually used. -var GENERATING_HTML = 0; // Set to 1 when generating .html and not just .js. This is automatically - // set to 1 by emcc when it is told to generate a .html file. Note that if - // you generate a .js file and want browser-specific functionality, you - // need to set this to 1 yourself. - var RUNTIME_TYPE_INFO = 0; // Whether to expose type info to the script at run time. This // increases the size of the generated script, but allows you // to more easily perform operations from handwritten JS on |