blob: 48e601e45b0ccd5abcdbd000d3a4009aeffd81b1 (
plain)
1
2
3
4
5
6
7
8
9
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
|
