From: root <root@dw-6.eecs.uci.edu>
Date: Sat, 29 Jun 2019 20:36:29 +0000 (-0700)
Subject: add pthread_detach function
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=75258105eece346fe9523767d12349775a3a073d;p=c11tester.git

add pthread_detach function
---

diff --git a/pthread.cc b/pthread.cc
index 1df85e13..276e3758 100644
--- a/pthread.cc
+++ b/pthread.cc
@@ -47,6 +47,12 @@ int pthread_join(pthread_t t, void **value_ptr) {
 	return 0;
 }
 
+int pthread_detach(pthread_t t) {
+	//Doesn't do anything
+	//Return success
+	return 0;
+}
+
 void pthread_exit(void *value_ptr) {
 	Thread * th = thread_current();
 	model->switch_to_master(new ModelAction(THREAD_FINISH, std::memory_order_seq_cst, th));