diff options
Diffstat (limited to 'indra')
| -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:  | 
