Verified Commit d7fc56e0 authored byBrowse files
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.