From df83be6a7011547b61f6273fecb3f3c277b1896b Mon Sep 17 00:00:00 2001
From: David Neto <dneto@google.com>
Date: Wed, 27 Jul 2022 11:14:33 -0400
Subject: [PATCH] kokoro: remove pre-existing core file if it exists

---
 kokoro/scripts/linux/build-docker.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kokoro/scripts/linux/build-docker.sh b/kokoro/scripts/linux/build-docker.sh
index db89da346..88c305d69 100755
--- a/kokoro/scripts/linux/build-docker.sh
+++ b/kokoro/scripts/linux/build-docker.sh
@@ -51,6 +51,10 @@ fi
 cd $ROOT_DIR
 ./tools/git-sync-deps $DEPS_ARGS
 
+# Erase any core file that might be laying around.
+# Do it conditionally so we can see this occur in the build log.
+[ -f $ROOT_DIR ] && rm -rf $ROOT_DIR/core
+
 mkdir -p build
 cd $ROOT_DIR/build