#!/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"