lib/libminlib/gcov_flush.c

   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