=?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 _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
