10 Aug
2007
10 Aug
'07
8:46 a.m.
Martin Bonner wrote:
Why not in the commit hook?
Because "a few are paired disable/enable headers". That seems a reasonable implementation approach to me, and a commit hook would prevent it.
True, but we can always have a back door for the cases that need it: // [no_check_push_pop] could disable the check? John.