1 #include <sys/types.h> 2 #include <stdio.h> 3 #include <stdlib.h> 4 5 #include <minix/gcov.h> 6 7 void __gcov_flush(void) 8 { 9 /* A version of __gcov_flush for cases in which no gcc -lgcov 10 * is given; i.e. non-gcc or gcc without active gcov. 11 */ 12 ; 13 } 14 15