Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authornl6720 <nl6720@gmail.com>2020-07-30 10:00:37 +0300
committernl6720 <nl6720@gmail.com>2020-07-30 13:09:53 +0300
commiteb64542e0f75a597064c99ac839d1712ed38af81 (patch)
treee6599ecfbf57138259f15db132131a84d37cf357 /Makefile
parentb410d1c9f10141ef62622471abf6cf2fddf10769 (diff)
Move shell script linting into a separate make target
Makefile: Move shellcheck to a "lint" target and change "check" so that it runs "lint". This provides a more finer grained control and allows to extend "check" with things beyond just linting. .gitlab-ci.yml: Run `make lint` in the lint job.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index ff43376..573d044 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,9 @@ DOC_DIR=$(DESTDIR)/usr/share/doc/archiso
all:
-check:
+check: lint
+
+lint:
shellcheck -s bash archiso/mkarchiso \
scripts/run_archiso.sh \
$(INSTALL_FILES) \
@@ -44,4 +46,4 @@ install-examples:
install-doc:
install -vDm 644 $(DOC_FILES) -t $(DOC_DIR)
-.PHONY: check install install-program install-initcpio install-examples install-doc
+.PHONY: check install install-program install-initcpio install-examples install-doc lint