diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-10 11:04:46 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-10 11:04:46 +0200 |
commit | 23878b5a94b5f45bbcd3ebc797c0ee3200f43285 (patch) | |
tree | 14f620aa50c8af210e32b64b11a7615f7c77986a | |
parent | f03f9f9f9d074cfa491403d5ce4e0eb5292a7127 (diff) | |
download | deployment-23878b5a94b5f45bbcd3ebc797c0ee3200f43285.tar.gz deployment-23878b5a94b5f45bbcd3ebc797c0ee3200f43285.tar.bz2 deployment-23878b5a94b5f45bbcd3ebc797c0ee3200f43285.zip |
syntax
-rw-r--r-- | buildbot/master.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildbot/master.cfg b/buildbot/master.cfg index afa4ae5..1466c8f 100644 --- a/buildbot/master.cfg +++ b/buildbot/master.cfg @@ -53,8 +53,8 @@ c['change_source'].append(changes.GitPoller( c['schedulers'] = [] c['schedulers'].append(schedulers.Periodic(name="periodic", - builderNames=["doc-builder"]), - periodicBuildTimer=5*60) + builderNames=["doc-builder"], + periodicBuildTimer=5*60)) c['schedulers'].append(schedulers.SingleBranchScheduler( name="all", change_filter=util.ChangeFilter(branch='master'), |