commit c6cf1d210db6476a86122c0340e988da50a5e387
parent 292861430b806f74d1a75f9eddb6800f953f0dd6
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Thu, 18 Jul 2024 17:39:03 +0200
Add the city_generator2 0.3 script to the "lint" target
It was simply missing
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/lint.mk b/lint.mk
@@ -19,6 +19,7 @@ lint:
shellcheck -o all -x -P src src/atrtp_0.1.sh
shellcheck -o all -x -P src src/aw_2.1.sh
shellcheck -o all -x -P src src/build.sh
+ shellcheck -o all -x -P src src/city_generator2_0.3.sh
shellcheck -o all -x -P src src/clipper2_1.1.1.sh
shellcheck -o all -x -P src src/embree_4.0.1.sh
shellcheck -o all -x -P src src/gmsh_4.12.2.sh