diff --git a/src/engine_maketasks.c b/src/engine_maketasks.c index 9698844ae922af9fba99ae178679b6d21c798741..5e12c018f1e1802afb9caca7314781a4194eb867 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>