diff options
Diffstat (limited to 'src/settings.js')
| -rw-r--r-- | src/settings.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index 26883051..14077efd 100644 --- a/src/settings.js +++ b/src/settings.js @@ -422,9 +422,14 @@ var RUNTIME_LINKED_LIBS = []; // If this is a main file (BUILD_AS_SHARED_LIB == // linked libraries can break things. var BUILD_AS_WORKER = 0; // If set to 1, this is a worker library, a special kind of library // that is run in a worker. See emscripten.h + var PROXY_TO_WORKER = 0; // If set to 1, we build the project into a js file that will run // in a worker, and generate an html file that proxies input and // output to/from it. +var PROXY_TO_WORKER_FILENAME = ''; // If set, the script file name the main thread loads. + // Useful if your project doesn't run the main emscripten- + // generated script immediately but does some setup before + var LINKABLE = 0; // If set to 1, this file can be linked with others, either as a shared // library or as the main file that calls a shared library. To enable that, // we will not internalize all symbols and cull the unused ones, in other |