SEO
vBulletin Search Engine Optimization
| |||||||
| Register | FAQ | Members List | Calendar | Search | Today's Posts | Mark Forums Read |
04-11-2008, 02:30 AM
| ||||
| ||||
 Re: -HEAD on FreeBSD 6-CURRENT build failures Tom Lane wrote: >Andrew Dunstan <andrew@dunslane.net> writes: > > >>The way buildfarm works is that it should always run on a clean set of >>CVS files - i.e. there should no gram.c. We don't even bot6her with >>clean, distclean, maintainer-clean and friends - we simply copy the >>source directory tree for each run. The fact that Darcy's builds don't >>show a call to bison indicates to me that his source dir ( >>/buildfarm/pg-buildfarm/HEAD/pgsql ) might not be clean for some reason >>that is not clear to me. >> >> > >Hmm, source directory used for a build and then not maintainer-clean'd >perhaps? > > That would do it. Basically the user should not touch anything inside <buildroot>, any more that they should touch anything in <datadir>/base. >If you do the copy without -p then the copy would tend to lose the >timestamps that would show that the gram.c file is out of date. >I suppose "cp -p" would be a bad idea because of permissions issues, >but you could consider replacing the cp with "tar cf - | tar xf -" >to preserve timestamps better. > > > > If we needed to, yes. rsync also works very nicely on stuff like this - and I have been using it in my day job for such a purpose. But I think the answer in this case is "don't do that." Darcy has cleaned out his source directory and all now seems well. cheers andrew ---------------------------(end of broadcast)--------------------------- TIP 3: if posting/reading through Usenet, please send an appropriate subscribe-nomail command to majordomo@postgresql.org so that your message can get through to the mailing list cleanly      |
 |
« Re: [pgsql-hackers] Group-count estimation statistics
|
Re: Allow GRANT/REVOKE permissions to be applied to all schema objects with one command »
| Thread Tools | |
| Display Modes | |
Linear Mode
|
|
All times are GMT. The time now is 04:18 PM.
