:As far as I remember, our make(1) has the same bug. It can be triggered :quite easily (at least here) by going to /usr/src, do 'make clean' and :trying to ^C it. I just tried it. : :Sascha
There might be another issue with signal races and fork(). The only
two possible issues are programs ignoring ^C and a signal race in
fork() (where the signal gets caught during the fork() but the
child is then created and never gets the signal).
-Matt
Matthew Dillon
<[email protected]>
