diff options
| author | emkael <emkael@tlen.pl> | 2022-03-27 21:36:14 +0200 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2022-03-27 21:36:14 +0200 |
| commit | 4e903ae67e1dc2f82f715bdc9447c7e023b8f034 (patch) | |
| tree | e032076dc5434b34672dbe4e54d87bcd39d9b924 | |
| parent | 92f0d9148fc66b3d6c0cf490993cc3a5a215be75 (diff) | |
Better detection of running indicator
| -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 fef934d..6d9ff5a 100755 --- a/scripts/autorun.sh +++ b/scripts/autorun.sh @@ -6,7 +6,7 @@ export GIT_SSH_COMMAND="ssh ${LIGA_SSH_OPTS}" FORCE=${1:-0} RUNNING_INDICATOR=${LIGA_PLAYOFF_LOGFILE}.running -find ${RUNNING_INDICATOR} -mtime +0.5 -delete # if the bracket is not running for 12 hours, it's running +find $(dirname ${LIGA_PLAYOFF_LOGFILE}) -name \*.running -mtime +0.5 -delete # if the bracket is not running for 12 hours, it's running PREVHEAD=$(git rev-parse HEAD) git pull --quiet --rebase --autostash --recurse-submodules --no-stat |