From 98113b5a15a8c3e012e2337aed17815d8c3f66c5 Mon Sep 17 00:00:00 2001 From: "B. Watson" 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