From 6af21e6a4f2251e71353562d5df7f376fdffc270 Mon Sep 17 00:00:00 2001
From: Freya Murphy <freya@freyacat.org>
Date: Tue, 25 Mar 2025 17:36:52 -0400
Subject: initial checkout from wrc

---
 MK | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100755 MK

(limited to 'MK')

diff --git a/MK b/MK
new file mode 100755
index 0000000..347f885
--- /dev/null
+++ b/MK
@@ -0,0 +1,36 @@
+#!/bin/bash
+#
+# Run 'make', saving all output into a file named LOG
+#
+# usage:
+#	MK  [args]   - prints timestamps and status
+#	MKV [args]   - echoes and saves 'make' output
+#
+
+# remember this so we know what to do
+name="`basename $0`"
+
+# starting timestamp
+time1="`date`"
+
+if [ "$name" = "MK" ]
+then
+	# run make, save output, check status
+	echo -n + make $* '> LOG 2>&1 ... '
+	if make $* > LOG 2>&1
+	then
+		echo done
+	else
+		echo check LOG for build errors
+	fi
+else
+	# just do the make and save a copy of the output
+	echo + make $* '2>&1 | tee LOG'
+	make $* 2>&1 | tee LOG
+fi
+
+# ending timestamp
+time2="`date`"
+
+echo  Start: $time1
+echo "End:  " $time2
-- 
cgit v1.2.3-freya