From fa3d7edce4eebe54736dc1020752a0f7fa1c35d4 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 4 Jul 2015 20:53:26 -0700
Subject: 1706 - automatically recompile mu when necessary

---
 mu | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 mu

(limited to 'mu')

diff --git a/mu b/mu
new file mode 100755
index 00000000..cd4019c5
--- /dev/null
+++ b/mu
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+#
+# Compile mu if necessary before running it.
+
+# show make output only if something needs doing
+make -q || make >&2 || exit 1
+
+./mu_bin "$@"
-- 
cgit 1.4.1-2-gfad0