Tom Lane wrote:
> It shouldn't be a big problem, assuming the checkout preserves the file
> dates --- they'll look older than the source files and so a rebuild will
> happen anyway in such a checkout.
>
Actually this is a problem with at least SVN. A "svn export" will
create files with the original repository dates, but a "svn checkout"
will use the current time unless you enable a config option for your
local svn client.
Kris Jurka