diff options
Diffstat (limited to 'push.sh')
-rw-r--r-- | push.sh | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -0,0 +1,11 @@ +#!/bin/sh + +# push to git, create a new build from scratch, post it on webserver, +# 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 +URL="$( naptime taipan.xex)" +REV="$( git rev-parse --short HEAD )" + +echo "build ID $REV at $URL" |