@@ -177,18 +177,10 @@ of_thread_detach(of_thread_t thread) { return (pthread_detach(thread) == 0); } -void OF_NO_RETURN_FUNC -of_thread_exit(void) -{ - pthread_exit(NULL); - - OF_UNREACHABLE -} - void of_thread_set_name(const char *name) { #if defined(OF_HAIKU) rename_thread(find_thread(NULL), name);