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
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.