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 /mpm | |
parent | 129b53ec9fc934a5cd66ab9ad25c81e058264321 (diff) |
mp, mpm: remove object files before building
Diffstat (limited to 'mpm')
-rwxr-xr-x | mpm | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -2,6 +2,8 @@ set -e +find src -name '*.o' -delete + for i in info program monitor; do - make -B "$@" $i + make "$@" $i done |