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):