diff --git a/dev/buildbot/master/master.cfg b/dev/buildbot/master/master.cfg index d4fc174c..ddd72acd 100644 --- a/dev/buildbot/master/master.cfg +++ b/dev/buildbot/master/master.cfg @@ -285,7 +285,12 @@ c['schedulers'].append(SingleBranchScheduler( builderNames=all_builder_names)) c['schedulers'].append(ForceScheduler( name="force", - builderNames=all_builder_names)) + builderNames=all_builder_names), + properties=[ + BooleanParameter(name="fullclean", + label="Do a full clean", default=False), + ] + ) ####### STATUS TARGETS