[petsc-dev] make reconfigure

[Satish Balay]

On Tue, 10 Apr 2012, Satish Balay wrote:

> On Tue, 10 Apr 2012, Lisandro Dalcin wrote:
> 
> > On 10 April 2012 21:12, Satish Balay <balay at mcs.anl.gov> wrote:
> > > Lisandro has commit access - so can push directly. [Lisandro - can you
> > > commit/push?]
> > >
> > 
> > Yes, but I'm visiting KAUST, and while being at home, sometimes my ssh
> > connections randomly stop working for a random period of time.
> 
> I can push your diffs - but perhaps you might want to test if ssh on
> port 443 [https port] works arround the difficulties you are having?
> 
> hg pull -u ssh://petsc@petsc.cs.iit.edu:443//hg/petsc/petsc-dev

pushed now

satish