pthread: add pthread_spin_destroy

[pspp] / lib / pthread.in.h

diff --git a/lib/pthread.in.h b/lib/pthread.in.h
index 4dad22a27ac3748512747d8874777e13e043756e..0fdf9c311ea27fa605afade4a103e08c93262a05 100644 (file)
--- a/lib/pthread.in.h
+++ b/lib/pthread.in.h
@@ -185,6 +185,13 @@ pthread_spin_init (pthread_spinlock_t *lock, int pshared)
   return 0;
 }
 
+static inline int
+pthread_spin_destroy (pthread_spinlock_t *lock)
+{
+  /* LOCK is never seriously used.  */
+  return 0;
+}
+
 static inline int
 pthread_spin_lock (pthread_spinlock_t *lock)
 {