From 20037a10ca63e05f3b785e98ebf3747a4b811848 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <derf@finalrewind.org>
Date: Thu, 18 Oct 2018 07:33:54 +0200
Subject: add non-monitor build wrapper

---
 mpi | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 mpi

(limited to 'mpi')

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
-- 
cgit v1.2.3