RE: build from CVS

[Eli Zaretskii]

On Wed, 6 Feb 2002, Vardhan Varma wrote:

> The only way to break make -k, is 'kill $$'
> 
> Assuming that make expands $$ to it's PID, does it ?

No, I think $$ is expanded by the shell invoked by Make, so it will kill 
the shell, not Make itself.  But I didn't actually try this (did you?), 
so I might be missing something.

> another options is putting echo ^G^G^G, so that an audible
> alarm is (usually) generated ......

Yes, possibly followed by "sleep 10", or some other annoyingly long 
delay.