[petsc-dev] Notification: Fwd: You have hereby been granted admin access to jedbrown/petsc-dev.

[Satish Balay]

On Fri, 16 Nov 2012, Barry Smith wrote:

> 
>   In petsc-XXX/config/   what will you call BuildSystem?  BuildSystem, buildsystem, buildsystem-dev, buildsystem-XXX

I was going to keep it as 'BuildSystem' - as it currently is.

>    It would be nice to have totally consistent naming of the same thing in different places but do we really want petsc-XXX/config/buildsystem-yyy where
> yyy is different depending on release or dev? 

Not in the source tree organization [as it currently is]

Satish