Wolfgang Denk wrote:
But I'm willing to listen to arguments. At the moment it's that either I have to run an additional command I didn't need to use before, or you have to run "make clean" or use "O=". I don't see any significant difference of added inconvenience between these two. So I tend to shift the inconvenience to you :-)
I think that's a very good summary of the current situation.
However, I would like to point out that, at least according to the current discussion, you are the only person who opposes .gitignore files. Everyone else wants this patch applied. So it's not really just me who is inconvenienced by the status quo - it's everyone but you who is inconvenienced.
However, if you have a *good* reason for using .gitignore files, I will reconsider.
I think I have already come up with arguments to use .gitignore files, and these are just the normal reasons for using .gitignore files. I don't have anything else to add to this discussion.