24 Nov
2016
24 Nov
'16
7:05 a.m.
On Nov 24, 2016, at 10:00 AM, R. David Murray <rdmurray@bitdance.com> wrote:
Right, tracking those artifacts is a long standing policy and exists for good reasons. Our policy is that the committed changes should be done with the "right" version of the tool to minimize churn, and I think we should maintain that policy even if we sometimes screw up.
Agreed.
(I thought we had actually introduced a check for it in the Makefile, but I guess not...that would make it inconvenient for someone to intentionally use a different version for a custom build.)
Would it be possible to add a commit hook? It seems like that would be the correct place to catch it.
Eric.