Merge pull request #752 from buu700/master

#747 fix
This commit is contained in:
Frank Denis 2018-09-04 15:45:58 +02:00 committed by GitHub
commit f8d39cd8a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -109,9 +109,9 @@ if [ "$DIST" = yes ]; then
}; };
Module.useBackupModule = function() { Module.useBackupModule = function() {
var Module = _Module; var Module = _Module;
Module.onAbort = undefined; Object.keys(Module).forEach(function(k) {
Module.onRuntimeInitialized = undefined; delete Module[k];
Module.useBackupModule = undefined; });
$(cat "${PREFIX}/lib/libsodium.asm.tmp.js" | sed 's|use asm||g') $(cat "${PREFIX}/lib/libsodium.asm.tmp.js" | sed 's|use asm||g')
}; };
$(cat "${PREFIX}/lib/libsodium.wasm.tmp.js") $(cat "${PREFIX}/lib/libsodium.wasm.tmp.js")