Add pthreads threading backend and move the POSIX port over to using it

[pdclib.old] / opt / pthreads / mtx_destroy.c

diff --git a/opt/pthreads/mtx_destroy.c b/opt/pthreads/mtx_destroy.c
new file mode 100644 (file)
index 0000000..2d0a2a2
--- /dev/null
+++ b/opt/pthreads/mtx_destroy.c
@@ -0,0 +1,19 @@
+#ifndef REGTEST
+#include <threads.h>
+#include <pthread.h>
+
+void mtx_destroy(mtx_t *mtx)
+{
+    pthread_mutex_destroy(mtx);
+}
+#endif
+
+#ifdef TEST
+#include <_PDCLIB_test.h>
+
+int main( void )
+{
+    return TEST_RESULTS;
+}
+
+#endif