(threads/threads-common.h): Added.
[ENABLE_THREADS] (threads_current_threadobject_key): Added #ifdef.
#include "config.h"
+#include <assert.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
-#include <assert.h>
-#if defined(ENABLE_THREADS)
-# include <pthread.h>
-#endif
+#include "threads/threads-common.h"
#include "toolbox/logging.h"
/* threads ********************************************************************/
+#if defined(ENABLE_THREADS)
pthread_key_t threads_current_threadobject_key;
+#endif
ptrint threads_get_current_tid(void)
{