diff options
Diffstat (limited to 'indra/develop.py')
-rwxr-xr-x | indra/develop.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/indra/develop.py b/indra/develop.py index ce12b33103..dfc658edec 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -391,6 +391,8 @@ class LinuxSetup(UnixSetup): 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: |