From 9b26a288ae243b9497316e7c94dbc7914a09b14f Mon Sep 17 00:00:00 2001
From: Freya Murphy <freya@freyacat.org>
Date: Tue, 25 Mar 2025 17:42:33 -0400
Subject: remove legacy bullshit

---
 MKV | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100755 MKV

(limited to 'MKV')

diff --git a/MKV b/MKV
deleted file mode 100755
index 347f885..0000000
--- a/MKV
+++ /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
-- 
cgit v1.2.3-freya