Meta/Dothem: run test-lint

2026-03-04 22:47:35 +01:00 · 2025-08-17 16:09:12 -07:00
parent 18f15368ce
commit 625e4b3112
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@@ -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