In article <Pine.GSO.4.05.9902252142120.20578-100000@augustus-239.cs.umn.edu> dokas@cs.umn.edu (Paul B Dokas) writes:
>On 25 Feb 1999, Michael Graff wrote:
>
>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.
>

make fetch always behaved this way and it is unrelated to the problem
above.

christos