1 files changed, 0 insertions, 7 deletions

diff --git a/mpi b/mpi
deleted file mode 100755
index 95b6e0e..0000000
--- a/mpi
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-set -e
-
-for i in info program monitor; do
-	make -B "$@" $i
-done