diff options
-rw-r--r-- | src/preamble.js | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/preamble.js b/src/preamble.js index 7d1b725a..fe6fc7ae 100644 --- a/src/preamble.js +++ b/src/preamble.js @@ -549,13 +549,8 @@ function String_copy(ptr, addZero) { // Tools -function jrint(label, obj) { // XXX manual debugging - if (!obj) { - obj = label; - label = ''; - } else - label = label + ' : '; - print(label + JSON.stringify(obj)); +if (typeof print === 'undefined') { + print = console.log; // we are on the web } // This processes a JS string into a C-line array of numbers, 0-terminated. |