From ab5b72ade9f13d698f82a60dca0cd6a9568ab3b7 Mon Sep 17 00:00:00 2001
From: Pedro Gonnet <gonnet@google.com>
Date: Fri, 2 Nov 2018 11:46:13 +0100
Subject: [PATCH] remove unused headers.

---
 src/engine_maketasks.c | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/engine_maketasks.c b/src/engine_maketasks.c
index 9698844ae9..5e12c018f1 100644
--- a/src/engine_maketasks.c
+++ b/src/engine_maketasks.c
@@ -26,13 +26,7 @@
 #include "../config.h"
 
 /* Some standard headers. */
-#include <float.h>
-#include <limits.h>
-#include <sched.h>
-#include <stdbool.h>
-#include <stdio.h>
 #include <stdlib.h>
-#include <string.h>
 #include <unistd.h>
 
 /* MPI headers. */
@@ -40,10 +34,6 @@
 #include <mpi.h>
 #endif
 
-#ifdef HAVE_LIBNUMA
-#include <numa.h>
-#endif
-
 /* Load the profiler header, if needed. */
 #ifdef WITH_PROFILER
 #include <gperftools/profiler.h>
-- 
GitLab