1 files changed, 1 insertions, 1 deletions
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 )"