summaryrefslogtreecommitdiff
path: root/mp
diff options
context:
space:
mode:
Diffstat (limited to 'mp')
-rwxr-xr-xmp4
1 files changed, 3 insertions, 1 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