tools/build_gtk_tree.js

diff --git a/tools/build_gtk_tree.js b/tools/build_gtk_tree.js
index 7e5b6b3..2dad3b7 100644 (file)
--- a/tools/build_gtk_tree.js
+++ b/tools/build_gtk_tree.js
@@ -335,7 +335,9 @@ right:
                 usage[par] = [];
             }
             
-            verifyUsage(par,cls);
+            if (!verifyUsage(par,cls)) {
+                continue;
+            }
             
             usage[par].pushUnique(cls);
             if (typeof(tops[cls]) == 'undefined') {