[Bug gcov-profile/80435] Expose __gcov_flush to allow developers to dump coverage numbers on demand

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80435

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Wed Apr 19 08:08:44 2017
New Revision: 246990

URL: https://gcc.gnu.org/viewcvs?rev=246990&root=gcc&view=rev
Log:
Introduce gcov.h header file (PR gcov-profile/80435).

2017-04-19  Martin Liska  <mli...@suse.cz>

        PR gcov-profile/80435
        * Makefile.in: Install gcov.h.
        * gcov.h: New file.
        * libgcov.h: Use the header and make __gcov_flush publicly
        visible.

Added:
    trunk/libgcc/gcov.h
Modified:
    trunk/libgcc/ChangeLog
    trunk/libgcc/Makefile.in
    trunk/libgcc/libgcov.h