blob: f03791e151e1fa465f0f207bd380a53f1d102195 (
plain)
1
2
3
4
5
6
7
8
9
10
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 | sed 's,urchlay.naptime.net,204.9.204.226,' )"
REV="$( git rev-parse --short HEAD )"
echo "build ID $REV at $URL"
|
