devtools/devctl.py
changeset 2773 b2530e3e0afb
parent 2692 bffb0e64736c
child 2790 968108e16066
--- a/devtools/devctl.py	Tue Aug 11 17:04:59 2009 +0200
+++ b/devtools/devctl.py	Tue Aug 11 17:13:32 2009 +0200
@@ -119,6 +119,7 @@
         libschema = libconfig.load_schema(remove_unused_rtypes=False)
         entities = [e for e in schema.entities() if not e in libschema]
     else:
+        libschema = None
         entities = schema.entities()
     done = set()
     for eschema in sorted(entities):