summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLuca Milanesio <luca.milanesio@gmail.com>2019-11-06 15:43:08 +0000
committerDavid Pursehouse <dpursehouse@collab.net>2019-11-07 08:39:34 +0000
commit7637d661b911d6fa2a35bd48e1e10b35312c379e (patch)
treee34186b0cee1138afcf1010d35ae7cb7b4607394
parent262a4da88f131f8302d6f77f49b5e077abd9a11a (diff)
Jenkinsfile: don't use Map.remove() as it is forbidden
When retriggering flaky builds, do not use the non-CPS method Map.remove() and instead create a new Map. Bug: Issue 11876 Change-Id: I383a2351ad907acd19d21c459a0fd660e8abe028
-rw-r--r--Jenkinsfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 7495540247..1b9e35fbcb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -196,7 +196,7 @@ def findFlakyBuilds() {
def retryBuilds = []
flaky.each {
def mode = it.key
- Builds.verification.remove(mode)
+ Builds.verification = Builds.verification.findAll { it.key != mode }
retryBuilds += mode
}