> Date: Wed, 03 Aug 2005 23:44:44 +0100
> From: "J. Grant" <[EMAIL PROTECTED]>
> CC: "Paul D. Smith" <[EMAIL PROTECTED]>,  [email protected]
> 
> > My hope is that the exit status of the interrupted program somehow
> > tells that it was interrupted.  If so, we could propagate that
> > knowledge back into Make, and handle it correctly.
> 
> Would Make need to do anything other than complete the termination of
> the two main.exe processes and display "Interrupt" ?

No, it also needs to clean up after the interrupt: to remove any
targets which were not fully built, and all their intermediate files
not marked precious.

Make already has code to do that, we just need to make sure that code
runs on Windows after a job is interrupted.


_______________________________________________
Make-w32 mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/make-w32

Reply via email to