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