On Thu, 2008-08-21 at 11:08 -0400, Martin d'Anjou wrote: > Is there a way to have make kill unfinished child processes (when a > child returns a non-zero exit code) and return immediately instead?
No. The idea is that if those other jobs are not depending on the one that died (and if they were they wouldn't be running already...) then why not let them finish, so that the next time you run "make" (after you fix the problem with the job that died) you can avoid re-running the other jobs. > If not, where in the source code can I change that? You'll have to dig into job.c :-/. _______________________________________________ Help-make mailing list Help-make@gnu.org http://lists.gnu.org/mailman/listinfo/help-make
