free_file no longer necessary

2018-03-29 18:36:53 +02:00 · 2018-03-29 18:36:53 +02:00 · 65909fd1db
parent 8703ad8374
commit 65909fd1db
1 changed files with 0 additions and 12 deletions
--- a/runahead/secondary_core.c
+++ b/runahead/secondary_core.c
@ -339,18 +339,6 @@ void clear_controller_port_map(void)
   for (port = 0; port < 16; port++)
      port_map[port] = -1;
 }
-
-static void free_file(FILE **file_p)
-{
-   bool result = false;
-   if (!file_p || !*file_p)
-      return;
-   result  = fclose(*file_p) != 0;
-   *file_p = NULL;
-   return;
-}
-
-
 #else
 #include <boolean.h>