diff options
author | Daniel Friesel <derf@finalrewind.org> | 2018-10-18 07:33:54 +0200 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2018-10-18 07:33:54 +0200 |
commit | 20037a10ca63e05f3b785e98ebf3747a4b811848 (patch) | |
tree | 13915c760de84c91a683e66086f1d69d16573728 /mpm | |
parent | 6347726748a03ad334fe51718a4ded87c70735eb (diff) |
add non-monitor build wrapper
Diffstat (limited to 'mpm')
-rwxr-xr-x | mpm | 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 |