Re: .gitignore patch for coverage builds

"Kevin Grittner" <Kevin.Grittner@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 recommend people do coverage tests in separate
build trees, instead.

			regards, tom lane