diff options
| author | emkael <emkael@tlen.pl> | 2024-02-24 20:56:19 +0100 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2024-04-07 09:57:20 +0200 |
| commit | 643cb599b2211948a4e95281196ff611d0ade6ab (patch) | |
| tree | 6377fef2e464caee1a064646277d804669148013 /scripts | |
| parent | 3a08fe886af95203a6f81af462ffb1d325b5afca (diff) | |
Will this get rid of the "binary file matches" warning?
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/autorun.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/autorun.sh b/scripts/autorun.sh index 4f41447..74db980 100755 --- a/scripts/autorun.sh +++ b/scripts/autorun.sh @@ -13,5 +13,5 @@ git pull --quiet --rebase --autostash --recurse-submodules --no-stat origin mast if [ -n "$(git diff --name-status --no-renames $PREVHEAD HEAD)" -o $FORCE != "0" -o -f ${RUNNING_INDICATOR} ] then ( date --rfc-3339=seconds; ./generate.sh; ./sync.sh; date --rfc-3339=seconds; ) > ${LIGA_PLAYOFF_LOGFILE} 2>&1 - (grep 'phase object' ${LIGA_PLAYOFF_LOGFILE} | grep -v 'not running' > /dev/null) && touch ${RUNNING_INDICATOR} + (grep -a 'phase object' ${LIGA_PLAYOFF_LOGFILE} | grep -a -v 'not running' > /dev/null) && touch ${RUNNING_INDICATOR} fi |