commit 7637d661b911d6fa2a35bd48e1e10b35312c379e
author Luca Milanesio <luca.milanesio@gmail.com> Wed Nov 06 15:43:08 2019 +0000
committer David Pursehouse <dpursehouse@collab.net> Thu Nov 07 08:39:34 2019 +0000
tree e34186b0cee1138afcf1010d35ae7cb7b4607394
parent 262a4da88f131f8302d6f77f49b5e077abd9a11a

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

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 7495540..1b9e35f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -196,7 +196,7 @@
     def retryBuilds = []
     flaky.each {
         def mode = it.key
-        Builds.verification.remove(mode)
+        Builds.verification = Builds.verification.findAll { it.key != mode }
         retryBuilds += mode
     }