diff --git a/indra/develop.py b/indra/develop.py index ce12b331032342311eb7e9851fb3e44335dd3005..dfc658edec7ca68fc355e125e15067f444e9aa28 100755 --- a/indra/develop.py +++ b/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: