From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 1 Mar 2005 21:23:07 +0000 (+0000)
Subject: * modules/gettime (Makefile.am): Remove lib_SOURCES line.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5bf91aa2fa2210434853c7be10545a9f0d499cd;p=pspp

* modules/gettime (Makefile.am): Remove lib_SOURCES line.
(Include): Add "timespec.h".
---

diff --git a/ChangeLog b/ChangeLog
index 3c7763db55..a06b0e24c4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2005-03-01  Paul Eggert  <eggert@cs.ucla.edu>
 
+	* modules/gettime (Makefile.am): Remove lib_SOURCES line.
+	Reported by Derek Price.
+	(Include): Add "timespec.h".
+
 	* modules/xnanosleep (Depends-on): Remove gethrxtime.
 
 2005-02-26  Paul Eggert  <eggert@cs.ucla.edu>