summaryrefslogtreecommitdiff
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
parent9877c448597249cd45919eb7173170cbb849e722 (diff)
mp(m): remove build/system.elf before running make, just to be safe
-rwxr-xr-xmp1
-rwxr-xr-xmpm1
2 files changed, 2 insertions, 0 deletions
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
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