index : archiso32 | |
Archlinux32 iso tools | gitolite user |
summaryrefslogtreecommitdiff |
author | David Runge <dvzrv@archlinux.org> | 2021-01-31 16:27:41 +0100 |
---|---|---|
committer | David Runge <dvzrv@archlinux.org> | 2021-01-31 16:27:41 +0100 |
commit | 2a24429404f06c5ca20fe70a8d11656fac9c3b7d (patch) | |
tree | 666b76ef6c415a81ee949fc9f3b5033c02175423 | |
parent | 07239499a6cf8b731e1c06cca11e2b951c07a7e5 (diff) |
-rw-r--r-- | Makefile | 1 |
@@ -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) \ |