@@ -310,6 +310,7 @@ double starpu_timing_now(void);
#endif
#include <time.h>
#if !defined(_MSC_VER) || defined(BUILDING_STARPU)
+#undef HAVE_STRUCT_TIMESPEC
#include <pthread.h>
#ifndef STARPU_HAVE_STRUCT_TIMESPEC