From 600e67350ae696afd3e7157f3658569be143aa9f Mon Sep 17 00:00:00 2001
From: Jan-Tarek Butt <tarek@ring0.de>
Date: Fri, 27 Sep 2019 00:06:01 +0200
Subject: [PATCH] CI Jenkinsfile: add parallel task for shellcheck lint

---
 contrib/ci/Jenkinsfile | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile
index 4ab6300d..87a89bef 100644
--- a/contrib/ci/Jenkinsfile
+++ b/contrib/ci/Jenkinsfile
@@ -1,3 +1,20 @@
+def lualint() {
+	make lint-lua
+}
+
+def shelllint() {
+	make lint-sh
+}
+
+run_lint_set = [
+	"task1": {
+		lualint()
+	},
+	"task2": {
+		shelllint()
+	}
+]
+
 pipeline {
 	agent { label 'gluon-docker' }
 	environment {
@@ -8,7 +25,9 @@ pipeline {
 	stages {
 		stage('lint') {
 			steps {
-				sh 'luacheck package scripts targets'
+				script {
+					parallel(run_lint_set)
+				}
 			}
 		}
 		stage('docs') {