Add continuous integration scripts to linting

Makefile:
Add scripts below .gitlab/ci/ to the lint target of the Makefile.
This commit is contained in:
David Runge 2021-01-31 16:27:41 +01:00
parent 07239499a6
commit 2a24429404
No known key found for this signature in database
GPG Key ID: 7258734B41C31549

View File

@ -21,6 +21,7 @@ check: lint
lint:
shellcheck -s bash archiso/mkarchiso \
$(wildcard scripts/*.sh) \
$(wildcard .gitlab/ci/*.sh) \
$(INSTALL_FILES) \
$(wildcard configs/*/build.sh) \
$(wildcard configs/*/profiledef.sh) \