Hi Kristian,
OK to push from me.
I tested it successfully on my tree.
knielsen@stripped wrote:
...
> ChangeSet@stripped, 2007-07-04 10:59:04+02:00, knielsen@ymer.(none) +2 -0
> BUG#29543: GCov information not written in case of crash.
>
> For GCov builds, if the server crashes, the normal exit handler for writing
> coverage information is not executed due to the abnormal termination.
>
> Fix this by explicitly calling the __gcov_flush function in our crash handler.
Regards
Ingo
--
Ingo Strüwing, Senior Software Developer
MySQL GmbH, Radlkoferstr. 2, D-81373 München
Geschäftsführer: Kaj Arnö - HRB München 162140
