diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 15:16:35 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-26 15:16:35 -0500 |
| commit | 108f6550f37ed10bef300c93f6158029471f7921 (patch) | |
| tree | ca9eebdeb19517f94fe32aa31c9fc5d7e5b37868 /src/settings.js | |
| parent | 556bb55f1b79f5b1420d5cf6d124631aea247a43 (diff) | |
do not emit EMSCRIPTEN_GENERATED_FUNCTIONS to the final output, it is just needed internally
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 7caa5b92..21b6abcf 100644 --- a/src/settings.js +++ b/src/settings.js @@ -327,6 +327,8 @@ var EXPLICIT_ZEXT = 0; // If 1, generate an explicit conversion of zext i1 to i3 var NECESSARY_BLOCKADDRS = []; // List of (function, block) for all block addresses that are taken. +var EMIT_GENERATED_FUNCTIONS = 0; // whether to emit the list of generated functions, needed for external JS optimization passes + // Compiler debugging options var DEBUG_TAGS_SHOWING = []; // Some useful items: |