From f5bfb71713802f237fa73bb163e18716c2249e56 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Sat, 14 Sep 2019 18:25:04 +0200
Subject: Jenkins: fix rename error
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 6b1ca4ae..ee5b7528 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -66,7 +66,7 @@ setDescription()
pipeline {
options {
- disableConequuleusBuilds()
+ disableConcurrentBuilds()
timeout(time: 4, unit: 'HOURS')
parallelsAlwaysFailFast()
}
--
cgit v1.2.3