[petsc-dev] Could generatefortranstubs.py be lazier about modification times?

[Jed Brown]

Is there a simple check that could be done to skip writing the file
into ftn-auto if the version there is already more recent than the
source?  I'm not familiar with the source, but I'd like to speed up
rebuilds after reconfiguring (most build tools use modification time
to determine whether they need to rebuild).

Jed