star-gs

commit 9d66dd9100100b7bb1a17e8605115071568c4c82
parent 9059a142d69344afc263f7aff383540c76523759
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Sat, 22 Apr 2023 18:29:22 +0200

Corrige la cible "lint" du Makefile

Les scripts de résultats n'étaient pas référencés en raisons d'une
erreur dans le nom de la variable censée les lister.

Diffstat:
M
Makefile
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -127,5 +127,5 @@ clean:
 distclean: clean
 	@rm -f $(DEP) results.fd results.mc
 
-lint: $(SH)
-	@shellcheck -o all configure.sh noweave_backend.sh $(SH)
+lint: $(SCRIPTS)
+	@shellcheck -o all configure.sh noweave_backend.sh $(SCRIPTS)