Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorDavid Runge <dvzrv@archlinux.org>2021-01-31 16:27:41 +0100
committerDavid Runge <dvzrv@archlinux.org>2021-01-31 16:27:41 +0100
commit2a24429404f06c5ca20fe70a8d11656fac9c3b7d (patch)
tree666b76ef6c415a81ee949fc9f3b5033c02175423 /Makefile
parent07239499a6cf8b731e1c06cca11e2b951c07a7e5 (diff)
Add continuous integration scripts to linting
Makefile: Add scripts below .gitlab/ci/ to the lint target of the Makefile.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 854a2ef..1d82597 100644
--- a/Makefile
+++ b/Makefile
@@ -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) \