From c62add11708934d42fe60ddb7af80fd41cd62277 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Politowski?= <mpol@icm.edu.pl>
Date: Mon, 25 Apr 2022 13:53:00 +0200
Subject: [PATCH] Disable concurrent builds to reduce memory usage

As described in the issue #1343 builds get killed by the OOM killer
sometimes.

Add disableConcurrentBuilds to the build options to reduce
memory usage whem multiple builds are triggered.
---
 Jenkinsfile.dockerized | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile.dockerized b/Jenkinsfile.dockerized
index e397c5542..8bcc5c2f7 100644
--- a/Jenkinsfile.dockerized
+++ b/Jenkinsfile.dockerized
@@ -12,6 +12,7 @@ pipeline {
     options {
         buildDiscarder(logRotator(numToKeepStr: '5'))
         timeout time: 60, unit: 'MINUTES'
+	disableConcurrentBuilds()
     }
 
     environment {