From 1b3be32b25c7b45a84db3fea0bf082ad99fa9bed Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 6 Apr 2022 14:40:31 +0200
Subject: [PATCH] [ivette] rename checkdir -> checkcase

---
 ivette/Makefile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/ivette/Makefile b/ivette/Makefile
index f8a687fff4e..61da1162e78 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -31,7 +31,7 @@ DOME_CUSTOM_ENTRIES= yes
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: all app dev pkg doc serve dist lint fixlint checkdirs
+.PHONY: all app dev pkg doc serve dist lint fixlint checkcase
 
 all: pkg lint app
 
@@ -39,13 +39,15 @@ app: dome-app
 dev: dome-dev
 dist: dome-dist
 
-lint: dome-pkg dome-templ checkdirs
+lint: dome-pkg dome-templ checkcase
 	@echo "[Ivette] running typechecker & linter"
 	yarn run typecheck
 	yarn run lint
 
-checkdirs:
-	@echo "[Ivette] check imported filenames"
+# In case-insensitive filesystems (macOS/Windows), import statements and
+# filenames can have issues due to case differences
+checkcase:
+	@echo "[Ivette] check case issues in imported filenames"
 	@err=0 ; for f in `find src | sed -E 's/(.ts|.tsx|.js|.jsx|.css|.json)$$//' | sort -f | uniq -di` ;\
 	 do \
 		err=1; \
-- 
GitLab