[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
- [PATCH 0/6] add libdirs for load_lib extra search dirs; cleanups, Bernhard Reutner-Fischer, 2013/06/14
- [PATCH 1/6] doc: Add missing space before &dj; in user.xml, Bernhard Reutner-Fischer, 2013/06/14
- [PATCH 2/6] .gitignore: Ignore some more generated files, Bernhard Reutner-Fischer, 2013/06/14
- Re: [PATCH 2/6] .gitignore: Ignore some more generated files,
Ben Elliston <=
- [PATCH 5/6] doc: Fix typos, Bernhard Reutner-Fischer, 2013/06/14
- [PATCH 4/6] doc: Fix table, Bernhard Reutner-Fischer, 2013/06/14
- [PATCH 3/6] doc: Fix some misplaced para, Bernhard Reutner-Fischer, 2013/06/14
- [PATCH 6/6] runtest.exp: add libdirs list for load_lib(), Bernhard Reutner-Fischer, 2013/06/14