From 149d2ec76b71eff971f968ab68bb4b00cd2655f1 Mon Sep 17 00:00:00 2001
From: Gwilym Kuiper <gw@ilym.me>
Date: Fri, 17 Jun 2022 00:28:10 +0100
Subject: [PATCH] Delete the archive file each time we run the build

---
 agb/build.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/agb/build.rs b/agb/build.rs
index e2aa93a..8272f9c 100644
--- a/agb/build.rs
+++ b/agb/build.rs
@@ -50,6 +50,7 @@ fn main() {
     }
 
     let archive = format!("{out_dir}/agb.a");
+    let _ = std::fs::remove_file(&archive);
     let ar_out = std::process::Command::new("arm-none-eabi-ar")
         .arg("-crs")
         .arg(&archive)