From 5de8d26e0c831507e1a32bef4e1945567de35692 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 2 Nov 2022 17:28:17 +0100
Subject: [PATCH] [lint] Makefile targets coherent with headers

---
 share/Makefile.linting | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/share/Makefile.linting b/share/Makefile.linting
index 2384a35f186..caf1c36f0df 100644
--- a/share/Makefile.linting
+++ b/share/Makefile.linting
@@ -71,23 +71,23 @@ endif
 
 ifeq ($(LINTCK.ENABLED),yes)
 
-.PHONY: lint
-lint:
+.PHONY: check-lint
+check-lint:
 	$(LINTCK.COLLECT) | $(LINTCK.CMD) $(LINTCK_EXTRA)
 
-.PHONY: fix-lint
-fix-lint:
+.PHONY: lint
+lint:
 	$(LINTCK.COLLECT) | $(LINTCK.CMD) -u $(LINTCK_EXTRA)
 
 else
 
-.PHONY: lint
-lint:
+.PHONY: check-lint
+check-lint:
 	$(error "Cannot lint: not a Git repository, \
 	   			 you should specify LINTCK_FILES_INPUT")
 
-.PHONY: fix-lint
-fix-lint:
+.PHONY: lint
+lint:
 	$(error "Cannot fix-lint: not a Git repository, \
 	   			 you should specify LINTCK_FILES_INPUT")
 
-- 
GitLab