GNU bug report logs - #8938
make timeout and CTRL-C

Previous Next

Full log

Message #65 received at 8938 <at> debbugs.gnu.org (full text, mbox):

From: "Alan Curry" <pacman-cu <at> kosh.dhis.org>
To: P <at> draigBrady.com (Pádraig Brady)
Cc: bug-make <at> gnu.org, 8938 <at> debbugs.gnu.org
Subject: Re: bug#8938: make timeout and CTRL-C
Date: Sat, 2 Jul 2011 16:38:46 -0500 (GMT+5)

=?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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.