diff --git a/indra/develop.py b/indra/develop.py index 363cec75836b829f97ac38da9c90e139ab0d70ae..ce12b331032342311eb7e9851fb3e44335dd3005 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -389,7 +389,7 @@ def mk_distcc_hosts(basename, range): hosts, job_count = mk_distcc_hosts('station', 36) os.putenv('DISTCC_HOSTS', hosts) if hostname.startswith('eniac'): - hosts, job_count = mk_distcc_hosts('eniac', 64) + hosts, job_count = mk_distcc_hosts('eniac', 71) os.putenv('DISTCC_HOSTS', hosts) opts.extend(['-j', str(job_count)])