diff options
Diffstat (limited to 'externals/grill/flext/source/flext.h')
| -rw-r--r-- | externals/grill/flext/source/flext.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/externals/grill/flext/source/flext.h b/externals/grill/flext/source/flext.h index 402a2a93..c1cd7597 100644 --- a/externals/grill/flext/source/flext.h +++ b/externals/grill/flext/source/flext.h @@ -31,6 +31,13 @@ WARRANTIES, see the file, "license.txt," in this distribution. //! @} + +#ifdef FLEXT_THREADS +#include <pthread.h> +#include <sched.h> +#endif + + // include all the flext interface definitions #include "fldefs.h" |