port to 32 bit x86 linux

[nbds] / include / runtime.h

diff --git a/include/runtime.h b/include/runtime.h
index 5a87c883b248c490096474701be66c2343301c02..c9db783e4a4a806b110f78a742796790b5c256d7 100644 (file)
--- a/include/runtime.h
+++ b/include/runtime.h
@@ -5,6 +5,7 @@
 #ifndef RUNTIME_H
 #define RUNTIME_H
 
+#include <pthread.h>
 #include "tls.h"
 
 extern DECLARE_THREAD_LOCAL(tid_, int);