From 58a86fe4bdb68dbe54889513e9ec8e2001d56583 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 16 Nov 2022 08:32:59 +0100
Subject: [PATCH] [ci] fix lint target

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c40941fc5b0..9ee9f68d394 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -254,7 +254,7 @@ lint:
   variables:
     LINT_MAKEFILE: "share/Makefile.linting"
   script:
-    - ./nix/shell-checkers.sh "make -f share/Makefile.linting lint"
+    - ./nix/shell-checkers.sh "make -f share/Makefile.linting check-lint"
 
 # Manuals
 
-- 
GitLab