[petsc-dev] changed --with-shared to --with-shared-libraries --known-mpi-shared to --know-mpi-shared-libraries --with-dynamic to --with-dynamic-loader

[Barry Smith]

 Pushed now

On Jul 16, 2010, at 11:30 PM, Satish Balay wrote:

> Barry,
> 
> Perhaps you forgot to push BuildSystem?
> 
> Satish
> 
> 
> 
> On Fri, 16 Jul 2010, Barry Smith wrote:
> 
> 
>