Re: .gitignore patch for coverage builds

Robert Haas <robertmhaas@gmail.com> writes:
> On Wed, Jan 26, 2011 at 4:44 PM, Tom Lane <tgl@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 /coverage to the root as in his V2 makes that better, but 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.
        regards, tom lane