From 20037a10ca63e05f3b785e98ebf3747a4b811848 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <derf@finalrewind.org>
Date: Thu, 18 Oct 2018 07:33:54 +0200
Subject: add non-monitor build wrapper

---
 mp | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 mp

(limited to 'mp')

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
-- 
cgit v1.2.3