phunix/minix/lib/libminlib/gcov_flush.c
Lionel Sambuc 433d6423c3 New sources layout
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
2014-07-31 16:00:30 +02:00

15 lines
271 B
C

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