summaryrefslogtreecommitdiff
path: root/mpi
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2018-10-15 08:18:47 +0200
committerDaniel Friesel <derf@finalrewind.org>2018-10-15 08:18:47 +0200
commit2727c03adcaaf1b8490213eead938b676a6fb6c8 (patch)
treeae39a7299068e54da71130da0ee1d0f2b4d438f6 /mpi
parent95b4ad119d6c205825ef74acd1ef74981674099d (diff)
add make info/program/monitor wrapper (./mpi arch=... app=...)
Diffstat (limited to 'mpi')
-rwxr-xr-xmpi7
1 files changed, 7 insertions, 0 deletions
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