1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-31 22:22:30 +03:00
Files
mariadb/BUILD
unknown 87e1a302c3 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.
2007-07-07 07:46:17 +02:00
..
2000-07-31 21:29:14 +02:00
2002-02-07 21:34:35 +02:00
2006-06-17 15:37:23 +02:00
2006-08-02 09:08:21 +02:00
2002-02-07 21:34:35 +02:00
2002-02-07 21:34:35 +02:00
2005-05-18 15:28:51 +02:00
2007-05-07 15:33:27 +02:00
2000-07-31 21:29:14 +02:00