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
_______________________________________________
LibreOffice mailing list
LibreOffice@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/libreoffice
