Re: bug#8938: make timeout and CTRL-C

[Alan Curry]

=?ISO-8859-1?Q?P=E1draig_Brady?= writes:
> 
> Given the above setsid make example (which hangs for 10s
> ignoring Ctrl-C, I'm leaning towards `make` needing to
> be more shell like, or at least forward the SIGINT etc.
> to the job, and not assume jobs run in the foreground group).

I'm a little worried that you're focusing too much on make, which is just one
way to demonstrate the problems of process group abuse.

This simple shell script:

#!/bin/sh
timeout 12 sleep 10

is also nonresponsive to ^C for the same reason as the original makefile.

Are you going to argue that the shell is doing something wrong there too?

-- 
Alan Curry