Re: [HACKERS] .gitignore patch for coverage builds

2011-03-08 Thread Peter Eisentraut
On ons, 2011-01-26 at 15:38 -0600, Kevin Grittner wrote: Kevin Grittner kevin.gritt...@wicourts.gov wrote: Patch attached. The coverage directory belongs under Local excludes in root directory. Version 2. I have committed a simplified version of this, except the coverage/ directory,

Re: [HACKERS] .gitignore patch for coverage builds

2011-02-14 Thread Jeff Janes
On Wed, Jan 26, 2011 at 2:41 PM, Alvaro Herrera alvhe...@commandprompt.com wrote: Excerpts from Tom Lane's message of mié ene 26 19:20:52 -0300 2011: Robert Haas robertmh...@gmail.com writes: On Wed, Jan 26, 2011 at 4:44 PM, Tom Lane t...@sss.pgh.pa.us wrote: Ick. That's an awful lot of

Re: [HACKERS] .gitignore patch for coverage builds

2011-02-14 Thread Robert Haas
On Mon, Feb 14, 2011 at 7:38 PM, Jeff Janes jeff.ja...@gmail.com wrote: On Wed, Jan 26, 2011 at 2:41 PM, Alvaro Herrera alvhe...@commandprompt.com wrote: Excerpts from Tom Lane's message of mié ene 26 19:20:52 -0300 2011: Robert Haas robertmh...@gmail.com writes: On Wed, Jan 26, 2011 at 4:44

[HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Kevin Grittner
Building for coverage and running the reports littered my tree with files which should probably be in .gitignore for just such a contingency. Patch attached. -Kevin *** a/.gitignore --- b/.gitignore *** *** 12,17 --- 12,26 *.mo objfiles.txt .deps/ + *.h.gcov +

Re: [HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Kevin Grittner
Kevin Grittner kevin.gritt...@wicourts.gov wrote: Patch attached. The coverage directory belongs under Local excludes in root directory. Version 2. -Kevin *** a/.gitignore --- b/.gitignore *** *** 12,19 --- 12,28 *.mo objfiles.txt .deps/ + *.h.gcov + *.c.gcov +

Re: [HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Tom Lane
Kevin Grittner kevin.gritt...@wicourts.gov writes: Building for coverage and running the reports littered my tree with files which should probably be in .gitignore for just such a contingency. Patch attached. Ick. That's an awful lot of stuff to have global ignores for. Perhaps we should

Re: [HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Robert Haas
On Wed, Jan 26, 2011 at 4:44 PM, Tom Lane t...@sss.pgh.pa.us wrote: Kevin Grittner kevin.gritt...@wicourts.gov writes: Building for coverage and running the reports littered my tree with files which should probably be in .gitignore for just such a contingency.  Patch attached. Ick.  That's

Re: [HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Tom Lane
Robert Haas robertmh...@gmail.com writes: On Wed, Jan 26, 2011 at 4:44 PM, Tom Lane t...@sss.pgh.pa.us wrote: Ick.  That's an awful lot of stuff to have global ignores for. The coverage directory ignore seems a little icky, but the rest seems unlikely to pick up anything incidental. Tying

Re: [HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Kevin Grittner
Tom Lane t...@sss.pgh.pa.us wrote: I'm still unexcited about the thesis that we should auto-ignore the results of any random tool somebody wants to run in their source tree. Hos about just the tools supported by our documentation, configure file and make file? -Kevin -- Sent via

Re: [HACKERS] .gitignore patch for coverage builds

2011-01-26 Thread Alvaro Herrera
Excerpts from Tom Lane's message of mié ene 26 19:20:52 -0300 2011: Robert Haas robertmh...@gmail.com writes: On Wed, Jan 26, 2011 at 4:44 PM, Tom Lane t...@sss.pgh.pa.us wrote: Ick. That's an awful lot of stuff to have global ignores for. The coverage directory ignore seems a little