From 5ca736fe000557115aeb945063298781494d4d04 Mon Sep 17 00:00:00 2001
From: jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com>
Date: Mon, 15 Mar 2021 09:20:13 -0700
Subject: [PATCH] [CIFuzz] Fix issue deleting corpus (#5391)

Sometimes deleting the corpus in free_disk_if_needed exceptions.
Pass ignore_errors=True to fix this.
Related: #5383
---
 infra/cifuzz/fuzz_target.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/infra/cifuzz/fuzz_target.py b/infra/cifuzz/fuzz_target.py
index 4bdd17969..e2beebd77 100644
--- a/infra/cifuzz/fuzz_target.py
+++ b/infra/cifuzz/fuzz_target.py
@@ -156,7 +156,9 @@ class FuzzTarget:
 
     # Delete the seed corpus, corpus, and fuzz target.
     if self.latest_corpus_path and os.path.exists(self.latest_corpus_path):
-      shutil.rmtree(self.latest_corpus_path)
+      # Use ignore_errors=True to fix
+      # https://github.com/google/oss-fuzz/issues/5383.
+      shutil.rmtree(self.latest_corpus_path, ignore_errors=True)
 
     os.remove(self.target_path)
     target_seed_corpus_path = self.target_path + '_seed_corpus.zip'