read_make_machines
if ((pmake_max_jobs = read_make_machines(make_machines_name)) <= 0) {
extern int read_make_machines(Name make_machines_name);