tree 7ab01185f6673f762ed411c054a72b791590f692
parent 533cd1f0621678a125bcf31c51f23875093510d0
author Vitaly Buka <vitalybuka@google.com> 1604479447 -0800
committer Vitaly Buka <vitalybuka@google.com> 1604479969 -0800

[sanitizer] More robust rm calls

Sometimes rm fails the first time.