commit 7d7c5c769f83b7ac8ee106ac78a21296598db3cb
parent 325d772b3e6205ad8b77c505e4429d44968cd6c8
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Tue, 25 Jul 2023 18:22:38 +0200
Add the scdoc script to lint target
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/lint.mk b/lint.mk
@@ -23,6 +23,7 @@ lint:
shellcheck -o all -x -P src src/random123_1.14.0.sh
shellcheck -o all -x -P src src/rsimd.sh
shellcheck -o all -x -P src src/rsys.sh
+ shellcheck -o all -x -P src src/scdoc_1.11.2-r1.sh
shellcheck -o all -x -P src src/sgs.sh
shellcheck -o all -x -P src src/sleef_3.5.2-r0.sh
shellcheck -o all -x -P src src/star-2d.sh