Enable GCOV always

diff --git a/commands/gcov-pull/gcov-pull.c b/commands/gcov-pull/gcov-pull.c
index 518fe8f274c2bd6a7315fbefda29d05d351eb58f..e67241c26d697a76ff531bf8bfdf1a04070f8c38 100644 (file)
--- a/commands/gcov-pull/gcov-pull.c
+++ b/commands/gcov-pull/gcov-pull.c
@@ -34,9 +34,8 @@ int read_int(void)
 int main(int argc, char *argv[])
 {
   FILE *fd = NULL;
-  int i, server_nr, command, size, result;
+  int server_nr, command, size, result;
   char buff[BUFF_SZ]; /* Buffer for all the metadata and file data sent */
-  message msg; /* message sent to vfs */
 
   if(argc!=2 || sscanf(argv[1], "%d", &server_nr)!=1) {
        fprintf(stderr, "Usage: %s <pid>\n", argv[0]);

diff --git a/lib/nbsd_libminlib/Makefile b/lib/nbsd_libminlib/Makefile
index 0e599a0afb99a3c74edda141ee6b8aadc95a9765..12bbfc39c8fd36a23ade7d4ae87bd1709f432c3b 100644 (file)
--- a/lib/nbsd_libminlib/Makefile
+++ b/lib/nbsd_libminlib/Makefile
@@ -11,9 +11,7 @@ SRCS+=        fslib.c fsversion.c
 SRCS+= dhcp_gettag.c dhcp_settag.c
 
 # Gcov support.
-.if ${MKCOVERAGE} != "no"
 SRCS+= gcov.c gcov_flush.c
-.endif
 
 # Various utils
 SRCS+= itoa.c u64util.c