From 22e83eb9053edb1813349e707b2679c015a51c8b Mon Sep 17 00:00:00 2001
From: "B. Watson" <yalhcru@gmail.com>
Date: Fri, 8 Jan 2016 16:43:32 -0500
Subject: push target

---
 push.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 push.sh

(limited to 'push.sh')

diff --git a/push.sh b/push.sh
new file mode 100644
index 0000000..91263a3
--- /dev/null
+++ b/push.sh
@@ -0,0 +1,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"
-- 
cgit v1.2.3