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.

1 files changed, 1 insertions, 1 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d85b887..e5a4e03 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,4 +10,4 @@ default:
 lint:
   stage: build
   script:
-    - make check
+    - make lint