From 98113b5a15a8c3e012e2337aed17815d8c3f66c5 Mon Sep 17 00:00:00 2001
From: "B. Watson" <yalhcru@gmail.com>
Date: Fri, 8 Jan 2016 16:44:04 -0500
Subject: fixed derping in push.sh

---
 push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push.sh b/push.sh
index 91263a3..b38bdfd 100644
--- a/push.sh
+++ b/push.sh
@@ -4,7 +4,7 @@
 # and print the short git hash (for copy/pasting into irc).
 # "naptime" is a shell script that you don't have :)
 
-git push && $MAKE distclean all || exit 1
+git push && make distclean all || exit 1
 URL="$( naptime taipan.xex)"
 REV="$( git rev-parse --short HEAD )"
 
-- 
cgit v1.2.3