aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--push.sh2
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 )"