tree e34186b0cee1138afcf1010d35ae7cb7b4607394
parent 262a4da88f131f8302d6f77f49b5e077abd9a11a
author Luca Milanesio <luca.milanesio@gmail.com> 1573054988 +0000
committer David Pursehouse <dpursehouse@collab.net> 1573115974 +0000

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