summaryrefslogtreecommitdiff
path: root/mpm
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-09-07 10:41:46 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-09-07 10:41:46 +0200
commit949ff6a5f74d3f8112c9e6489bbfefaed491b170 (patch)
tree4b9f1c6feb41f87c705543e24ef12962a820e47b /mpm
parent9877c448597249cd45919eb7173170cbb849e722 (diff)
mp(m): remove build/system.elf before running make, just to be safe
Diffstat (limited to 'mpm')
-rwxr-xr-xmpm1
1 files changed, 1 insertions, 0 deletions
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