some problems with 'make install'

Satish Balay balay at
Tue Dec 2 14:13:40 CST 2008

On Tue, 2 Dec 2008, Matthew Knepley wrote:

> > As a hack - I can add os.remove('RDict.db') in config/
> I am for this.

ok - I pushed the hack [deletes more than RDict.db - as I see
different files created in different situations..]


More information about the petsc-dev mailing list