Max out distcc jobs to 12 in develop.py

indra/develop.py

@@ -391,6 +391,8 @@ def mk_distcc_hosts(basename, range):
                 if hostname.startswith('eniac'):
                     hosts, job_count = mk_distcc_hosts('eniac', 71)
                     os.putenv('DISTCC_HOSTS', hosts)
+            if job_count > 12:
+                job_count = 12;
             opts.extend(['-j', str(job_count)])
 
         if targets: