summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2025-08-17 16:09:12 -0700
committerJunio C Hamano <gitster@pobox.com>2025-08-17 16:09:12 -0700
commit625e4b3112c46f9575a3c38e04f9767cc062ba36 (patch)
tree1da93eff1e1d207630d72da857b8f983d520e69a
parentMeta/CannedResponses: minor wording tweak for 'make it so' (diff)
downloadgit-625e4b3112c46f9575a3c38e04f9767cc062ba36.tar.gz
git-625e4b3112c46f9575a3c38e04f9767cc062ba36.zip
Meta/Dothem: run test-lint
-rwxr-xr-xDothem4
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