Sam James <[email protected]> writes: > David Malcolm <[email protected]> writes: > >> This patch adds a new dg-lint subdirectory below contrib, containing >> a "dg-lint" script for detecting common mistakes made in our DejaGnu >> tests. >>
I should say: I don't think any of my comments are blockers at all, they're really just further enhancements we could and should do, and I'm happy to help refine it as I notice things too once it is in. Plus, once we have a linter, things can't regress so easily and I can focus on looking for more interesting errors (which we can then lint).
