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" |