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 /mpi | |
parent | 95b4ad119d6c205825ef74acd1ef74981674099d (diff) |
add make info/program/monitor wrapper (./mpi arch=... app=...)
Diffstat (limited to 'mpi')
-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 |