Yes, it was what I was getting at. I think a single
GIT-BUILD-FLAGS (or whatever name the list can fight over while
I am away) is preferred.
I've thought about it but in practice this would make things
more inconvenient for developers without much gain, so I'd leave
it out.
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html