[petsc-users] reconfigure after pull?

[Jed Brown]

Alp Kalpalp <alpkalpalp at gmail.com> writes:

> Hi,
>
> How to understand that I should reconfigure after a git pull?

It is usually not necessary, but may be necessary if changes in config/
are relevant to you.  You can see the changes to config/ with

  $ git pull
  $ git log --stat ORIG_HEAD.. -- config/

Change --stat to -p to see the full diffs instead of just a stat.

When in doubt reconfigure.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 818 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-users/attachments/20141206/6000e65b/attachment.pgp>