diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2019-11-06 15:43:08 +0000 |
---|---|---|
committer | David Pursehouse <dpursehouse@collab.net> | 2019-11-07 08:39:34 +0000 |
commit | 7637d661b911d6fa2a35bd48e1e10b35312c379e (patch) | |
tree | e34186b0cee1138afcf1010d35ae7cb7b4607394 | |
parent | 262a4da88f131f8302d6f77f49b5e077abd9a11a (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-- | Jenkinsfile | 2 |
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 } |