Re: [petsc-users] reproducibility

[Lawrence Mitchell]

> On 28 May 2021, at 14:38, Stefano Zampini <stefano.zamp...@gmail.com> wrote:
> 
> Mark
> 
> That line is obtained via
> 
> git describe --match "v*"
> 
> At configure time. The number after the g indicates the commit
> As Matt says, you can do git checkout <commit-id> to go back at the point 
> were you configured PETSc

In fact, I hadn't realised this but you can do:

git checkout v3.15.0-531-g1397235

and git DTRT.

Lawrence