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

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

(limited to 'mpm')

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