make-w32
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: WINDOWS32 "Signal 127" due to a path in quotes bug


From: Eli Zaretskii
Subject: Re: WINDOWS32 "Signal 127" due to a path in quotes bug
Date: Thu, 04 Aug 2005 06:53:13 +0300

> Date: Wed, 03 Aug 2005 23:44:44 +0100
> From: "J. Grant" <address@hidden>
> CC: "Paul D. Smith" <address@hidden>,  address@hidden
> 
> > 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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]