| Index: runtime/bin/thread_pool_linux.h
|
| diff --git a/runtime/bin/thread_pool_linux.h b/runtime/bin/thread_pool_linux.h
|
| index 704722bbc5c9a65f6f45baff87a2946281b780d3..842119758032317a4f6b2fe25a01297d2072500e 100644
|
| --- a/runtime/bin/thread_pool_linux.h
|
| +++ b/runtime/bin/thread_pool_linux.h
|
| @@ -5,6 +5,10 @@
|
| #ifndef BIN_THREAD_POOL_LINUX_H_
|
| #define BIN_THREAD_POOL_LINUX_H_
|
|
|
| +#if !defined(BIN_THREAD_POOL_H_)
|
| +#error Do not include thread_pool_linux.h directly; use thread_pool.h instead.
|
| +#endif
|
| +
|
| #include <pthread.h>
|
|
|
| #include "platform/globals.h"
|
|
|