From dee20234c84b918e175d32ba13ee0781e38c497c Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Sun, 12 May 2019 13:51:41 +0200 Subject: [PATCH] Shorten --- dist-build/emscripten.sh | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/dist-build/emscripten.sh b/dist-build/emscripten.sh index 4dfd899b..e7d7a9bc 100755 --- a/dist-build/emscripten.sh +++ b/dist-build/emscripten.sh @@ -100,14 +100,10 @@ if [ "$DIST" = yes ]; then var Module = _Module; Module.onAbort = reject; Module.print = function(what) { - if (typeof(console) !== 'undefined') { - console.log(what); - } + typeof(console) !== 'undefined' && console.log(what); } Module.printErr = function(what) { - if (typeof(console) !== 'undefined') { - console.warn(what); - } + typeof(console) !== 'undefined' && console.warn(what); } Module.onRuntimeInitialized = function() { try {