[petsc-dev] Config failure

[Garth N. Wells]

The green bits here:

https://bitbucket.org/petsc/petsc/commits/b9693abc333a4cb54c29596de4de4a2160c61cc0

ain't proper Python. Breaks config. Not sure how this gets past your
testing . . . .

Garth