initial checkout from wrc

1 files changed, 36 insertions, 0 deletions

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