phase1: remove unused 'other_builds'

Signed-off-by: Thibaut VARÈNE <hacks@slashdirt.org>

diff --git a/phase1/master.cfg b/phase1/master.cfg
index afd79f35f7fba43545638ce212497560361580eb..be3c3fac05462784ab5d405bda238ce7883abfa5 100644 (file)
--- a/phase1/master.cfg
+++ b/phase1/master.cfg
@@ -214,7 +214,6 @@ c['prioritizeBuilders'] = prioritizeBuilders
 work_dir = os.path.abspath(ini.get("general", "workdir") or ".")
 scripts_dir = os.path.abspath("../scripts")
 tree_expire = 0
-other_builds = 0
 cc_version = None
 
 cc_command = "gcc"
@@ -228,9 +227,6 @@ git_ssh_key = None
 if ini.has_option("phase1", "expire"):
        tree_expire = ini.getint("phase1", "expire")
 
-if ini.has_option("phase1", "other_builds"):
-       other_builds = ini.getint("phase1", "other_builds")
-
 if ini.has_option("phase1", "cc_version"):
        cc_version = ini.get("phase1", "cc_version").split()
        if len(cc_version) == 1:
@@ -504,7 +500,7 @@ def GetVersionPrefix(props):
 @properties.renderer
 def GetNumJobs(props):
        if props.hasProperty("max_builds") and props.hasProperty("nproc"):
-               return str(int(int(props["nproc"]) / (props["max_builds"] + other_builds)))
+               return str(int(int(props["nproc"]) / props["max_builds"]))
        else:
                return "1"