diff options
Diffstat (limited to 'audio/gnump3d/files/patch-plugins_stats.cc')
| -rw-r--r-- | audio/gnump3d/files/patch-plugins_stats.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/audio/gnump3d/files/patch-plugins_stats.cc b/audio/gnump3d/files/patch-plugins_stats.cc new file mode 100644 index 000000000000..8c07c8ca29ed --- /dev/null +++ b/audio/gnump3d/files/patch-plugins_stats.cc @@ -0,0 +1,14 @@ +--- plugins/stats.cc.orig Fri Nov 29 04:33:21 2002 ++++ plugins/stats.cc Mon Dec 2 19:32:09 2002 +@@ -39,6 +39,11 @@ + #include <stdlib.h> + + ++#ifdef HAVE_PTHREAD ++# include <pthread.h> ++#endif ++ ++ + #include "debug.h" + #include "request.h" + #include "settings.h" |