summaryrefslogtreecommitdiff
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
parent129b53ec9fc934a5cd66ab9ad25c81e058264321 (diff)
mp, mpm: remove object files before building
-rwxr-xr-xmp4
-rwxr-xr-xmpm4
2 files changed, 6 insertions, 2 deletions
diff --git a/mp b/mp
index d8fca9c..d09f2cf 100755
--- a/mp
+++ b/mp
@@ -2,6 +2,8 @@
set -e
+find src -name '*.o' -delete
+
for i in info program; do
- make -B "$@" $i
+ make "$@" $i
done
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