[petsc-dev] builder broken

[Barry Smith]

  File "setup.py", line 180, in run
    build(self.dry_run)
  File "setup.py", line 132, in build
    import builder
  File "/Users/barrysmith/Src/petsc-dev/config/builder.py", line 571
    except KeyError as e:


builder doesn't work with python 2.5   (as it should) since it is apparently used by setup.py 



  Barry