From 2727c03adcaaf1b8490213eead938b676a6fb6c8 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <derf@finalrewind.org>
Date: Mon, 15 Oct 2018 08:18:47 +0200
Subject: add make info/program/monitor wrapper (./mpi arch=... app=...)

---
 mpi | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 mpi

(limited to 'mpi')

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