tools/build_gtk_tree.js

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index 08dc7c3..f3d8c87 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -44,7 +44,7 @@ ns_list.forEach(function(ns_name)
     
     var  core = imports.gi[ns_name];
     var idx = { name: ns_name}; 
-    console.log("START:" + ns_name);
+    print("START:" + ns_name);
    
     var ns = NameSpace.ns(ns_name);