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/jsifier.js | |
parent | 556bb55f1b79f5b1420d5cf6d124631aea247a43 (diff) |
do not emit EMSCRIPTEN_GENERATED_FUNCTIONS to the final output, it is just needed internally
Diffstat (limited to 'src/jsifier.js')
-rw-r--r-- | src/jsifier.js | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/jsifier.js b/src/jsifier.js index 4af522b4..fe8aebe4 100644 --- a/src/jsifier.js +++ b/src/jsifier.js @@ -1567,9 +1567,11 @@ function JSify(data, functionsOnly, givenFunctions) { var shellParts = read(shellFile).split('{{BODY}}'); print(shellParts[1]); // Print out some useful metadata (for additional optimizations later, like the eliminator) - print('// EMSCRIPTEN_GENERATED_FUNCTIONS: ' + JSON.stringify(keys(Functions.implementedFunctions).filter(function(func) { - return IGNORED_FUNCTIONS.indexOf(func.ident) < 0; - })) + '\n'); + if (EMIT_GENERATED_FUNCTIONS) { + print('// EMSCRIPTEN_GENERATED_FUNCTIONS: ' + JSON.stringify(keys(Functions.implementedFunctions).filter(function(func) { + return IGNORED_FUNCTIONS.indexOf(func.ident) < 0; + })) + '\n'); + } PassManager.serialize(); |