dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/6] .gitignore: Ignore some more generated files


From: Ben Elliston
Subject: Re: [PATCH 2/6] .gitignore: Ignore some more generated files
Date: Fri, 14 Jun 2013 20:52:11 +1000
User-agent: Mutt/1.5.21 (2010-09-15)

On Fri, Jun 14, 2013 at 09:03:08AM +0200, Bernhard Reutner-Fischer wrote:

>       * .gitignore: Ignore some more generated files.
>       * doc/.gitignore: Likewise.

Rejected. :-)

I would rather not ignore anything and know about stray files in the
source tree. You really should be building in a separate build
directory as best practice.

Cheers, Ben



reply via email to

[Prev in Thread] Current Thread [Next in Thread]