Re: make dist error

On 7/16/13 10:03 AM, Andrew Dunstan wrote:
> Incidentally, the buildfarm animal guaibasaurus builds "make dist" every
> build, via a bespoke buildfarm module. See for example
> <http://www.pgbuildfarm.org/cgi-bin/show_stage_log.pl?nm=guaibasaurus&dt=2013-07-16%2004%3A17%3A01&stg=make-dist>,
> so we should get early notice if anything breaks it.

Ditto for my Jenkins:
http://pgci.eisentraut.org/jenkins/job/postgresql_master_dist/

So this is well covered.

The requirement to clean before make dist is perhaps underdocumented.