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. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers