xref: /minix3/minix/lib/libc/gen/gcov_flush.c (revision bad58c9c5145c5fa2a65ce5ca37ceebbbd315e2d)

#include <sys/types.h>
#include <stdio.h>
#include <stdlib.h>

#include <minix/gcov.h>

void __gcov_flush(void)
{
        /* A version of __gcov_flush for cases in which no gcc -lgcov
         * is given; i.e. non-gcc or gcc without active gcov.
         */
        ;
}