From d7fc56e0066fc0bdfd1d45e4e67f53b218609897 Mon Sep 17 00:00:00 2001
From: nl6720 <nl6720@gmail.com>
Date: Thu, 30 Jul 2020 10:00:37 +0300
Subject: 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.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitlab-ci.yml')

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
-- 
cgit v1.2.3-54-g00ecf