diff options
| -rwxr-xr-x | scripts/autorun.sh | 10 |
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 |