On 25 Feb 1999, Michael Graff wrote:
> 
> This is damned strange.
> 
> I'm running tcsh, compiled on a very -current current, using the
> package source tcsh.
> 
> I type "make".
> 
> I hit ^c to stop it.
> 
> I get my shell prompt back, but the make keeps on going...
> 
> --Michael

Just a few days ago, I submitted a PR about 'make fetch' doing exactly
this.

My best guess is that make is not properly catching signals and/or
process groups for all of the stuff that it spawns off.  Still digging.

Paul
--
Paul Dokas                                            dokas@cs.umn.edu
======================================================================
Don Juan Matus:  "an enigma wrapped in mystery wrapped in a tortilla."