Sam James <s...@gentoo.org> writes: > David Malcolm <dmalc...@redhat.com> 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).
