diff options
author | Michele Calgaro <[email protected]> | 2023-12-01 12:38:43 +0900 |
---|---|---|
committer | Michele Calgaro <[email protected]> | 2023-12-01 12:38:43 +0900 |
commit | b67b7f2b784c7105e88a5e639d9d84736ae2cbc1 (patch) | |
tree | 0fd16d439c681c07d57d7f0d544c7582e04c3a31 /debian/uncrustify-trinity/uncrustify-trinity-0.78.1/emscripten/prefix_module.js | |
parent | c0a6f1b84c84749908961579b84513fd9f9d9eac (diff) | |
download | extra-dependencies-b67b7f2b784c7105e88a5e639d9d84736ae2cbc1.tar.gz extra-dependencies-b67b7f2b784c7105e88a5e639d9d84736ae2cbc1.zip |
uncrustify-trinity: updated based on upstream version 0.78.1
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'debian/uncrustify-trinity/uncrustify-trinity-0.78.1/emscripten/prefix_module.js')
-rw-r--r-- | debian/uncrustify-trinity/uncrustify-trinity-0.78.1/emscripten/prefix_module.js | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/debian/uncrustify-trinity/uncrustify-trinity-0.78.1/emscripten/prefix_module.js b/debian/uncrustify-trinity/uncrustify-trinity-0.78.1/emscripten/prefix_module.js new file mode 100644 index 00000000..05d09cd7 --- /dev/null +++ b/debian/uncrustify-trinity/uncrustify-trinity-0.78.1/emscripten/prefix_module.js @@ -0,0 +1,28 @@ + if( !Module.hasOwnProperty('noInitialRun') ) { Module.noInitialRun = true; } + if( !Module.hasOwnProperty('noExitRuntime') ) { Module.noExitRuntime = true; } + if( !Module.hasOwnProperty('print') || typeof Module["print"] != 'function') + { + Module.print = (function() + { + return function(text) + { + if (arguments.length > 1) text = Array.prototype.slice.call(arguments).join(' '); + console.log(text); + }; + })(); + } + if( !Module.hasOwnProperty('printErr') || typeof Module["printErr"] != 'function') + { + Module.printErr = function(text) + { + if (arguments.length > 1) text = Array.prototype.slice.call(arguments).join(' '); + if (0) + { // XXX disabled for safety typeof dump == 'function') { + dump(text + '\n'); // fast, straight to the real console + } + else + { + console.error(text); + } + }; + } |