[petsc-dev] Rebuilding pets-library only

Hi, Is there a way to rebuild the petsc library only, skipping rebuilding mpi4py and petsc4py if petsc is configured with them? I know I can ctrl-C this step if all I want is to rebuild the lib, but I would not mind a more elegant way.. Regards, Blaise -- A.K. & Shirley Barton Professor of Mathematics Adjunct Professor of Mechanical Engineering Adjunct of the Center for Computation & Technology Louisiana State University, Lockett Hall Room 344, Baton Rouge, LA 70803, USA Tel. +1 (225) 578 1612, Fax +1 (225) 578 4276 Web http://www.math.lsu.edu/~bourdin