MAKE_RESTARTS interference with trap SIGINT

[Stephan Bergmann]

On 05/06/2013 07:03 AM, Norbert Thiebaud wrote:
> I have a wrapper script around a make fo LO (tinderbox scripting)... I
> have added soem refinement so that it handle gracefully a Ctrl-C while
> it is running
> to that effect I've installed a signal handler in bash using 'trap'
> on, among other SIGINT
> That was the shell script can detect that a build was aborted in the
> middle of thing, and can take prophylactic actions... like notifying
> gerrot or the tindebox server that that build has been 'aborted'
>
> The gotcha is that the regular Makefile try first to make sure that
> Makefile is up-to-date, and then re-start itself... it dies that
> whether or not the Makefile is out-of-date...
> but apparently make use SIGINT to do its restart... and that is
> apparently picked-up by bash... so the result is that make make sure
> that Makefile is up-to-date, and then... stop.
> Not exactly a great thing for a tinderbox script :-)

But why should make use SIGINT to restart itself (for me, it just does 
an exec), and, more importantly, how should the parent shell process be 
able to pick that up?

Stephan