tools: include needed common/config.h

tools/starpu_calibrate_bus.c

@@ -14,6 +14,7 @@
  * See the GNU Lesser General Public License in COPYING.LGPL for more details.
  */
 
+#include <common/config.h>
 #include <starpu.h>
 #include <stdio.h>
 #if defined(_WIN32) && !defined(__CYGWIN__)

tools/starpu_machine_display.c

@@ -17,6 +17,7 @@
 #include <stdio.h>
 #include <starpu.h>
 #include <starpu_scheduler.h>
+#include <common/config.h>
 
 #define PROGNAME "starpu_machine_display"
 

tools/starpu_perfmodel_display.c

@@ -21,6 +21,7 @@
 #include <unistd.h>
 #include <stdio.h>
 
+#include <common/config.h>
 #include <starpu.h>
 
 #if defined(_WIN32) && !defined(__CYGWIN__)