From 949ff6a5f74d3f8112c9e6489bbfefaed491b170 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Mon, 7 Sep 2020 10:41:46 +0200
Subject: mp(m): remove build/system.elf before running make, just to be safe

---
 mp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mp')

diff --git a/mp b/mp
index d09f2cf..32c4cd5 100755
--- a/mp
+++ b/mp
@@ -3,6 +3,7 @@
 set -e
 
 find src -name '*.o' -delete
+rm -f build/system.elf
 
 for i in info program; do
 	make "$@" $i
-- 
cgit v1.2.3