minix/lib/libc/gen/gcov_flush.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#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.
         */
        ;
}