diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2015-10-08 10:23:32 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2015-10-08 10:23:32 (GMT) |
| commit | 7055a8e4bd3653d2cf3faf042f45d5900fab3f13 (patch) | |
| tree | 2259ddd8b067b512d8fb2757b7a680599d9393ab /bin | |
| parent | 593092f95240b236c0913eef9b5fbe1f38be74a1 (diff) | |
| download | site-7055a8e4bd3653d2cf3faf042f45d5900fab3f13.tar.gz | |
Drop "maint" branch
Don't build snapshots from the "maint" branch, and don't push it to
Coverity Scan. We're going to drop it in favor of "maint-x.y" branches.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-snapshots | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-snapshots b/bin/build-snapshots index 4c016c5..735aa16 100755 --- a/bin/build-snapshots +++ b/bin/build-snapshots | |||
| @@ -21,7 +21,7 @@ prefix='/home/plugins' | |||
| 21 | keep_days=2 | 21 | keep_days=2 |
| 22 | snapshot_dir="$prefix/web/download/snapshot" | 22 | snapshot_dir="$prefix/web/download/snapshot" |
| 23 | repository="$prefix/repositories/monitoring-plugins.git" | 23 | repository="$prefix/repositories/monitoring-plugins.git" |
| 24 | branches=${*:-'maint master pu'} | 24 | branches=${*:-'master pu'} |
| 25 | myself=${0##*/} | 25 | myself=${0##*/} |
| 26 | 26 | ||
| 27 | make_dist() | 27 | make_dist() |