diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-07 10:41:46 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-07 10:41:46 +0200 |
commit | 949ff6a5f74d3f8112c9e6489bbfefaed491b170 (patch) | |
tree | 4b9f1c6feb41f87c705543e24ef12962a820e47b /mpm | |
parent | 9877c448597249cd45919eb7173170cbb849e722 (diff) |
mp(m): remove build/system.elf before running make, just to be safe
Diffstat (limited to 'mpm')
-rwxr-xr-x | mpm | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |