#!/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 | sed 's,urchlay.naptime.net,204.9.204.226,' )"
URL="$( naptime taipan.xex )"
REV="$( git rev-parse --short HEAD )"

echo "build ID $REV at $URL"