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
commit9ea3c479f97a40fda12e23be27c207a6589105c1 (patch)
tree3fd4830b8d93a4f624ae9326f65995d6f8d84dd2 /Makefile
parent64d2858aeff7531cd93015a6f76b071093c86d09 (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) \