blob: b38bdfd29730d8d6277839231cf7a63526338ecc (
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)"
REV="$( git rev-parse --short HEAD )"
echo "build ID $REV at $URL"
|
