blob: 69c9cae4133dab29660b93781842294f264a9044 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/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"
|
