diff -r 58c519e5a31f -r b2530e3e0afb devtools/devctl.py
--- 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):