From 205ea634eb974dfdcf41e114a70d7d91ac3a4757 Mon Sep 17 00:00:00 2001
From: Clemens Lauermann <clemens.lauermann@htl-leoben.at>
Date: Wed, 22 Apr 2020 10:58:42 +0200
Subject: [PATCH] fix typo

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8f1ce34..b7ce618 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -51,7 +51,7 @@ pipeline {
                     }
                     if(env.GIT_PATH.contains("../")) {
                         error("GIT_PATH must not contain '../'")
-                    ]
+                    }
                     
                     // be sure branch is set
                     env.GIT_BRANCH = params.GIT_BRANCH ?: '*/master'