commit 172a33b84424ec7699c9a13d33cbe766f96bcc06
parent 4949744aa064016ed770bc9157700f327bfb9727
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Wed, 22 Mar 2023 18:30:19 +0100
Ajoute une cible "lint" dans le fichier Makefile
On peut désormais invoquer "make lint" pour vérifier la conformité des
scripts shell du projet, que ces scripts soient seulement utilisés par
le système de génération automatique (configure.sh et
noweave_backend.sh) ou extraits des sources noweb
(compute_sensitivities.sh).
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -123,3 +123,6 @@ clean:
distclean: clean
@rm -f $(DEP)
+
+lint: $(SH)
+ @shellcheck -o all configure.sh noweave_backend.sh $(SH)
