1 files changed, 0 insertions, 36 deletions
diff --git a/MK b/MK
deleted file mode 100755
index 347f885..0000000
--- a/MK
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/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