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