From 6973e9c0ca428819fdcb2fd163950e00f699ff11 Mon Sep 17 00:00:00 2001
From: Graham Darcey <graham@hackclub.com>
Date: Fri, 1 Mar 2024 12:12:18 -0500
Subject: [PATCH] Force deletions

---
 build-with-docker.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build-with-docker.sh b/build-with-docker.sh
index 8192046..ea00566 100755
--- a/build-with-docker.sh
+++ b/build-with-docker.sh
@@ -20,13 +20,13 @@ if [ -d rpi_build ]; then
 	rm -rf rpi_build
 fi
 if [ -f spade.elf ]; then
-	rm spade.elf
+	rm -f spade.elf
 fi
 if [ -f spade.uf2 ]; then
-	rm spade.uf2
+	rm -f spade.uf2
 fi
 if [ -f dockerBuildLog.txt ]; then
-	rm dockerBuildLog.txt
+	rm -f dockerBuildLog.txt
 fi
 
 # Ensure docker group stuff for linux