Code Review
/
ci-management.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
review
|
tree
raw
(from parent 1:
330a4c9
)
Merge "Fix dcc213d ('max-git-repo-age-hours' behaviour)"
author
Jessica Wagantall
<jwagantall@linuxfoundation.org>
Mon, 30 Sep 2019 16:44:57 +0000
(16:44 +0000)
committer
Gerrit Code Review
<gerrit@onap.org>
Mon, 30 Sep 2019 16:44:57 +0000
(16:44 +0000)
shell/maven-coverity.sh
patch
|
blob
|
history
diff --git
a/shell/maven-coverity.sh
b/shell/maven-coverity.sh
index
3361d40
..
eed10c4
100644
(file)
--- 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