From: Bruno Haible <bruno@clisp.org>
Date: Wed, 1 Oct 2008 01:12:31 +0000 (+0200)
Subject: Needs to depend on modules 'errno' and 'time'.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=deaa2a7b1b93ce92997a3609a284c642210f9a08;p=pspp

Needs to depend on modules 'errno' and 'time'.
---

diff --git a/ChangeLog b/ChangeLog
index 691e511a13..900a2493bd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2008-09-30  Yoann Vandoorselaere  <yoann.v@prelude-ids.com>
+            Bruno Haible  <bruno@clisp.org>
+
+	* modules/cond (Dependencies): Add errno, time.
+	* lib/glthread/cond.h: Include <time.h>.
+	(gl_cond_define, gl_cond_define_initialized): Use the same definition
+	across platforms.
+
 2008-09-30  Yoann Vandoorselaere  <yoann.v@prelude-ids.com>
             Bruno Haible  <bruno@clisp.org>