Meta/Dothem: run test-lint

diff --git a/Dothem b/Dothem
index bf84d66f1c50de66f4c7e7805d4e6df8df39864c..c52d4bb1721be86b6633e03aa12c42560a6a085c 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -269,6 +269,10 @@ do
                section hdr-check
                Meta/Make $M $jobs -- hdr-check &&
 
+               # test-lint
+               section test-lint
+               Meta/Make -- -C t test-lint &&
+
                if test -n "$san"
                then
                        section SANITIZE=address,undefined