From 03a60f9c34d5c1cb5bf6b112213999f0c70e149a Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 2 Aug 2024 14:16:16 +0200
Subject: [PATCH] [CI] Retrieve lint job

---
 dev/lint-commits.sh    |  2 +-
 dev/lint-repository.sh | 10 ----------
 2 files changed, 1 insertion(+), 11 deletions(-)

diff --git a/dev/lint-commits.sh b/dev/lint-commits.sh
index caabb84905..2b099b13f1 100755
--- a/dev/lint-commits.sh
+++ b/dev/lint-commits.sh
@@ -48,7 +48,7 @@ while IFS= read -r commit; do
     then bad_ws+=("$commit")
     fi
 
-    if ! make check
+    if ! make
     then bad_compile+=("$commit")
     fi
 done < <(git rev-list "$HEAD_COMMIT" --not "$BASE_COMMIT" --)
diff --git a/dev/lint-repository.sh b/dev/lint-repository.sh
index b956b8547c..d8f174ed3b 100755
--- a/dev/lint-repository.sh
+++ b/dev/lint-repository.sh
@@ -39,14 +39,4 @@ echo Checking end of file newlines
 find . "(" -path ./.git -prune ")" -o -type f -print0 |
     xargs -0 dev/tools/check-eof-newline.sh || CODE=1
 
-echo Checking overlays
-dev/tools/check-overlays.sh || CODE=1
-
-echo Checking CACHEKEY
-dev/tools/check-cachekey.sh || CODE=1
-
-# Check that doc/tools/docgram/fullGrammar is up-to-date
-echo Checking grammar files
-make SHOW='@true ""' doc_gram_verify || CODE=1
-
 exit $CODE