diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2018-10-15 08:18:47 +0200 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2018-10-15 08:18:47 +0200 |
| commit | 2727c03adcaaf1b8490213eead938b676a6fb6c8 (patch) | |
| tree | ae39a7299068e54da71130da0ee1d0f2b4d438f6 | |
| parent | 95b4ad119d6c205825ef74acd1ef74981674099d (diff) | |
add make info/program/monitor wrapper (./mpi arch=... app=...)
| -rwxr-xr-x | mpi | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ +#!/bin/sh + +set -e + +for i in info program monitor; do + make -B "$@" $i +done |
