andy@CSVAX.CALTECH.EDU (Andy Fyfe) (06/13/89)
This fixes (or seems to!) my problem with "source". *** save/execute_cmd.c Mon Jun 12 11:38:08 1989 --- execute_cmd.c Mon Jun 12 11:42:55 1989 *************** *** 170,175 **** --- 170,176 ---- exec_result = wait_for (last_made_pid); } } + last_made_pid = last_pid; } break;