[petsc-dev] Problem with latest "petsc-dev" change

[Satish Balay]

On Wed, 3 Nov 2010, Matthew Knepley wrote:

> Since you use our version control system, you will never have to worry
> about something breaking. If something does not work after a pull, just
> 
>   a) rollback to the previous revision, 'hg update -r <rev>'

Or if you don't remember the previous 'working' revision - before
pulling the broken changes, you can revert your pull with:

hg rollback
hg update [or 'hg update -C' - if appropriate]

Satish

> 
>   b) rebuild
> 
> No need to worry.