diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-07-15 15:24:54 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-07-15 15:24:54 -0700 |
commit | 6e7a7aa3e8c2096463fed1f24d561557f49787f8 (patch) | |
tree | f81ea4377db6d4fd1b002cb55875d2291b71b62e /src/settings.js | |
parent | 9bf755607fc7a0e7f446a5e2d6c82738d77d876f (diff) | |
parent | 61c31f69359132e7630a9c4c2c3d25a6ed742247 (diff) |
Merge branch 'self-dlopen' of github.com:int3/emscripten into incoming
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 7f9dca3b..10e93975 100644 --- a/src/settings.js +++ b/src/settings.js @@ -327,6 +327,10 @@ 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 DLOPEN_SUPPORT = 0; // Whether to support dlopen(NULL, ...) which enables dynamic access to the + // module's functions and globals. Implies LINKABLE=1, because we do not want + // dead code elimination. + 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 |