diff options
author | Robin Gareus <robin@gareus.org> | 2015-07-31 02:28:12 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-07-31 02:28:12 +0200 |
commit | f9f01104c6c2c7ac7f6b9933e30f0e37ca89c9fe (patch) | |
tree | 776576a328612649be72b1c3a2a75677a864158a /libs/backends/portaudio/winmmemidi_io.h | |
parent | cfbd9dd6d4d87cda4f3b3e55e7b44bdecf5b9e4b (diff) |
add missing pthread.h includes
Diffstat (limited to 'libs/backends/portaudio/winmmemidi_io.h')
-rw-r--r-- | libs/backends/portaudio/winmmemidi_io.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/backends/portaudio/winmmemidi_io.h b/libs/backends/portaudio/winmmemidi_io.h index a2868241d8..28450e95cb 100644 --- a/libs/backends/portaudio/winmmemidi_io.h +++ b/libs/backends/portaudio/winmmemidi_io.h @@ -23,6 +23,7 @@ #include <vector> #include <string> #include <stdint.h> +#include <pthread.h> #include <boost/shared_ptr.hpp> #include "pbd/ringbuffer.h" |