|
|
@@ -2,7 +2,7 @@
|
|
|
*
|
|
|
* Copyright (C) 2013,2015-2017 Inria
|
|
|
* Copyright (C) 2010-2015,2017 CNRS
|
|
|
- * Copyright (C) 2010,2012-2018 Université de Bordeaux
|
|
|
+ * Copyright (C) 2010,2012-2019 Université de Bordeaux
|
|
|
*
|
|
|
* StarPU is free software; you can redistribute it and/or modify
|
|
|
* it under the terms of the GNU Lesser General Public License as published by
|
|
|
@@ -22,6 +22,7 @@
|
|
|
#include <starpu_config.h>
|
|
|
#include <starpu_util.h>
|
|
|
#ifdef STARPU_SIMGRID
|
|
|
+#include <pthread.h>
|
|
|
#ifdef STARPU_HAVE_XBT_SYNCHRO_H
|
|
|
#include <xbt/synchro.h>
|
|
|
#else
|
