diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-08-12 14:23:49 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-08-12 14:23:49 +0200 |
commit | 3d26238ec60d82fb58e5a306e5ea78b564d5fb3a (patch) | |
tree | 4c95a2faa5e472c2aa1bcfb1f5178cc93d9d1808 | |
parent | 129b53ec9fc934a5cd66ab9ad25c81e058264321 (diff) |
mp, mpm: remove object files before building
-rwxr-xr-x | mp | 4 | ||||
-rwxr-xr-x | mpm | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -2,6 +2,8 @@ set -e +find src -name '*.o' -delete + for i in info program; do - make -B "$@" $i + make "$@" $i done @@ -2,6 +2,8 @@ set -e +find src -name '*.o' -delete + for i in info program monitor; do - make -B "$@" $i + make "$@" $i done |