summaryrefslogtreecommitdiff
path: root/mpm
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-08-12 14:23:49 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-08-12 14:23:49 +0200
commit3d26238ec60d82fb58e5a306e5ea78b564d5fb3a (patch)
tree4c95a2faa5e472c2aa1bcfb1f5178cc93d9d1808 /mpm
parent129b53ec9fc934a5cd66ab9ad25c81e058264321 (diff)
mp, mpm: remove object files before building
Diffstat (limited to 'mpm')
-rwxr-xr-xmpm4
1 files changed, 3 insertions, 1 deletions
diff --git a/mpm b/mpm
index 95b6e0e..6caa92d 100755
--- a/mpm
+++ b/mpm
@@ -2,6 +2,8 @@
set -e
+find src -name '*.o' -delete
+
for i in info program monitor; do
- make -B "$@" $i
+ make "$@" $i
done