diff options
| author | emkael <emkael@tlen.pl> | 2022-03-12 21:08:06 +0100 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2022-03-12 21:08:06 +0100 |
| commit | 982099a13bf6b1c0dbdf7017729d7fbb30dd82f3 (patch) | |
| tree | c81d542a2117bc2b7001403072d4c49130b881a4 /scripts/autorun.sh | |
| parent | 1589f19d58c173eed821a741c402d2015447e2ab (diff) | |
Parameter to force (re)generation of the brackets
Diffstat (limited to 'scripts/autorun.sh')
| -rwxr-xr-x | scripts/autorun.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/autorun.sh b/scripts/autorun.sh index 48e601e..c2da400 100755 --- a/scripts/autorun.sh +++ b/scripts/autorun.sh @@ -2,9 +2,11 @@ export GIT_SSH_COMMAND="ssh ${LIGA_SSH_OPTS}" +FORCE=${1:-0} + PREVHEAD=$(git rev-parse HEAD) git pull --quiet --rebase --autostash --recurse-submodules --no-stat -if [ -n "$(git diff --name-status --no-renames $PREVHEAD HEAD)" ] +if [ -n "$(git diff --name-status --no-renames $PREVHEAD HEAD)" -o $FORCE != "0" ] then ( date --rfc-3339=seconds; ./generate.sh; ./sync.sh; date --rfc-3339=seconds; ) > ${LIGA_PLAYOFF_LOGFILE} 2>&1 fi |