From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 20 Sep 2010 23:14:49 +0000 (-0700)
Subject: pthread: add pthread_spin_destroy
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=09ba76e4c6a04d7b19bfe08cef12c29ddd21734c;p=pspp

pthread: add pthread_spin_destroy

* lib/pthread.in.h (pthread_spin_destroy): New function.
---

diff --git a/ChangeLog b/ChangeLog
index 307a58ad68..ec48b91ff7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-09-20  Paul Eggert  <eggert@cs.ucla.edu>
+
+	pthread: add pthread_spin_destroy
+	* lib/pthread.in.h (pthread_spin_destroy): New function.
+
 2010-09-19  Bruno Haible  <bruno@clisp.org>
 
 	gnulib-tool: Fix --help output.
diff --git a/lib/pthread.in.h b/lib/pthread.in.h
index 4dad22a27a..0fdf9c311e 100644
--- 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)
 {