diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-09-30 15:20:53 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-10-03 10:57:33 -0700 |
| commit | 4091984a0c897c53b09de5a7caf64f9819a9be6e (patch) | |
| tree | b65e4ce59ca90d2ee4e0e4cdcea733048da542c8 /src/settings.js | |
| parent | e91ceb07780515b60568e81432a0ec0e0ce9f24b (diff) | |
remove unneeded EMIT_GENERATED_FUNCTIONS
Diffstat (limited to 'src/settings.js')
| -rw-r--r-- | src/settings.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/settings.js b/src/settings.js index 6894b535..d2b47dc8 100644 --- a/src/settings.js +++ b/src/settings.js @@ -427,8 +427,6 @@ 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 - var JS_CHUNK_SIZE = 10240; // Used as a maximum size before breaking up expressions and lines into smaller pieces var EXPORT_NAME = 'Module'; // Global variable to export the module as for environments without a standardized module |