diff options
author | 2019-09-30 10:00:50 +0200 | |
---|---|---|
committer | 2019-09-30 10:00:50 +0200 | |
commit | 2aaed58575aa584f14c998b9e923d12541e96237 (patch) | |
tree | 6e5dfe2b1e414ca2ddcfd6d484c0d6f56a70a573 | |
parent | 7b16a8ac1cfe487da50e5763a4a4dd0bae1cd9ec (diff) |
Fix dcc213d ('max-git-repo-age-hours' behaviour)
Issue-ID: CIMAN-260
Signed-off-by: Artem Naluzhnyy <A.Naluzhnyy@samsung.com>
Change-Id: I6b02c57f03b6b8ff9576924e712ed517225822de
-rw-r--r-- | shell/maven-coverity.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/maven-coverity.sh b/shell/maven-coverity.sh index 3361d4098..eed10c4ea 100644 --- a/shell/maven-coverity.sh +++ b/shell/maven-coverity.sh @@ -37,7 +37,7 @@ fi if [ ${MAX_GIT_REPO_AGE_HOURS:=0} -ne 0 ]; then LAST_COMMIT_AGE=$(( $(date +%s) - $(git log -1 --pretty=format:%ct) )) - if [ $LAST_COMMIT_AGE -le $(( MAX_GIT_REPO_AGE_HOURS *60*60 )) ]; then + if [ $LAST_COMMIT_AGE -gt $(( MAX_GIT_REPO_AGE_HOURS *60*60 )) ]; then echo '[NOTICE] Git repository did not have any commits last' \ "${MAX_GIT_REPO_AGE_HOURS} hours - no need to re-analyse it." \ >&2 |