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

[Satish Balay]

Barry,

Perhaps you forgot to push BuildSystem?

Satish



On Fri, 16 Jul 2010, Barry Smith wrote: