diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2015-04-13 11:04:10 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2015-04-13 11:04:10 (GMT) |
| commit | 4987e31ab982feef0c2855ad28a37b1780f01f0a (patch) | |
| tree | ddc5991729b4abc6c6a952689b19c22fc445ba13 | |
| parent | 3f6c8dc0ebb3ee898b76212a58fa17c4ed48771c (diff) | |
| download | site-4987e31ab982feef0c2855ad28a37b1780f01f0a.tar.gz | |
Submit code to Coverity Scan via Cron
Let Coverity Scan check our "maint" and "master" branches once per week.
Currently, Coverity Scan permits up to 8 builds per week for projects
with 100K to 500K lines of code:
https://scan.coverity.com/faq#frequency
| -rw-r--r-- | etc/crontab | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/crontab b/etc/crontab index 4470850..896c982 100644 --- a/etc/crontab +++ b/etc/crontab | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | # vim:set filetype=crontab: | 1 | # vim:set filetype=crontab nowrap: |
| 2 | # | 2 | # |
| 3 | # $HOME/etc/crontab | 3 | # $HOME/etc/crontab |
| 4 | # | 4 | # |
| @@ -6,3 +6,5 @@ MAILTO=admin@monitoring-plugins.org | |||
| 6 | # | 6 | # |
| 7 | */10 * * * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git | 7 | */10 * * * * $HOME/bin/git-mirror $HOME/repositories/[mn]*.git |
| 8 | 44 4 * * * $HOME/bin/check-mirrors | 8 | 44 4 * * * $HOME/bin/check-mirrors |
| 9 | 22 6 * * 1 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity master:coverity/master | ||
| 10 | 22 6 * * 3 /usr/bin/git --git-dir=$HOME/repositories/monitoring-plugins.git push -q coverity maint:coverity/maint | ||