[petsc-dev] Fwd: [petsc-maint #119133] petsc-dev configure crash

Sean Farley sean at mcs.anl.gov
Wed Jun 6 15:03:24 CDT 2012

>   BTW: to deal with that, is it possible to mark a repository so it refuses to work with old hg installs? If so then we would just mark petsc-dev and any issues related to using outdated hg would not be a problem.

Mercurial has this built-in and implements it with the name 'pushkey'.
So, it would work out of the box.

More information about the petsc-dev mailing list