Script to auto-run with on any git changes

1 files changed, 10 insertions, 0 deletions

diff --git a/scripts/autorun.sh b/scripts/autorun.sh
new file mode 100755
index 0000000..48e601e
--- /dev/null
+++ b/scripts/autorun.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+export GIT_SSH_COMMAND="ssh ${LIGA_SSH_OPTS}"
+
+PREVHEAD=$(git rev-parse HEAD)
+git pull --quiet --rebase --autostash --recurse-submodules --no-stat
+if [ -n "$(git diff --name-status --no-renames $PREVHEAD HEAD)" ]
+then
+    ( date --rfc-3339=seconds; ./generate.sh; ./sync.sh; date --rfc-3339=seconds; ) > ${LIGA_PLAYOFF_LOGFILE} 2>&1
+fi