diff -r 7437abc17e02 -r 4370edac331e devtools/devctl.py
--- a/devtools/devctl.py	Wed Mar 11 19:56:46 2009 +0100
+++ b/devtools/devctl.py	Thu Mar 12 15:12:33 2009 +0100
@@ -284,7 +284,6 @@
     
     def run(self, args):
         """run the command with its specific arguments"""
-        CUBEDIR = DevCubeConfiguration.cubes_dir()
         if args:
             cubes = [DevCubeConfiguration.cube_dir(cube) for cube in args]
         else: