Merge branch 'master' into harmony

2015-08-05 21:13:11 +02:00
parent a68953c491 ab15d676d7
commit e8664e63ef
5 changed files with 17 additions and 5 deletions
--- a/test/run-tests.js
+++ b/test/run-tests.js
@@ -35,7 +35,7 @@ function tmpl() {

 function log() {
    var txt = tmpl.apply(this, arguments);
-    sys.puts(txt);
+    console.log("%s", txt);
 }

 function log_directory(dir) {