On Dec 8, 2010, at 2:07 PM, Dimitri Fontaine wrote: > "David E. Wheeler" <[email protected]> writes: >>> And how does the information flows from the Makefile to the production >>> server, already? >> >> `make` generates the file if it doesn't already exist. > > Again, will retry when possible, but it has been a time sink once already.
Fair enough. David -- Sent via pgsql-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
