1 files changed, 4 insertions, 0 deletions
diff --git a/Dothem b/Dothem
index bf84d66f1c..c52d4bb172 100755
--- 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