[petsc-dev] detecting inappropriate mpi.h?

[Barry Smith]

   Is there any way ./configure can detect an inappropriate mpi.h (like 
/usr/include/mpi.h) in the search path and warning the user? Even something as 
crude as ls in those locations?

   Thanks


   Barry