From 20037a10ca63e05f3b785e98ebf3747a4b811848 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Thu, 18 Oct 2018 07:33:54 +0200 Subject: add non-monitor build wrapper --- mp | 7 +++++++ mpi | 7 ------- mpm | 7 +++++++ 3 files changed, 14 insertions(+), 7 deletions(-) create mode 100755 mp delete mode 100755 mpi create mode 100755 mpm diff --git a/mp b/mp new file mode 100755 index 0000000..d8fca9c --- /dev/null +++ b/mp @@ -0,0 +1,7 @@ +#!/bin/sh + +set -e + +for i in info program; do + make -B "$@" $i +done diff --git a/mpi b/mpi deleted file mode 100755 index 95b6e0e..0000000 --- a/mpi +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -set -e - -for i in info program monitor; do - make -B "$@" $i -done diff --git a/mpm b/mpm new file mode 100755 index 0000000..95b6e0e --- /dev/null +++ b/mpm @@ -0,0 +1,7 @@ +#!/bin/sh + +set -e + +for i in info program monitor; do + make -B "$@" $i +done -- cgit v1.2.3