diff --git a/phase1/config.ini.example b/phase1/config.ini.example index 0e4b551..ced5ccb 100644 --- a/phase1/config.ini.example +++ b/phase1/config.ini.example @@ -19,6 +19,7 @@ password = example [repo] url = https://git.openwrt.org/openwrt/openwrt.git +tree_stable_timer = 900 # branches should be listed by decreasing build priority order, typically oldest branch first (less build intensive) # branch section name should match branch "name" option until signall.sh is reworked diff --git a/phase1/master.cfg b/phase1/master.cfg index e8764bc..4f76766 100644 --- a/phase1/master.cfg +++ b/phase1/master.cfg @@ -61,6 +61,7 @@ work_dir = os.path.abspath(ini["general"].get("workdir", ".")) scripts_dir = os.path.abspath("../scripts") repo_url = ini["repo"].get("url") +tree_stable_timer = ini["repo"].getint("tree_stable_timer", 15 * 60) rsync_defopts = ["-v", "--timeout=120"] @@ -509,7 +510,7 @@ c["schedulers"].append( AnyBranchScheduler( name="all", change_filter=util.ChangeFilter(branch=branchNames), - treeStableTimer=15 * 60, + treeStableTimer=tree_stable_timer, builderNames=builderNames, ) )