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

(Makefile.am): Remove lib_SOURCES line.
(Include): Add "timespec.h".
---

diff --git a/modules/gettime b/modules/gettime
index 4368a4b133..c16a71a61e 100644
--- a/modules/gettime
+++ b/modules/gettime
@@ -14,13 +14,12 @@ configure.ac:
 gl_GETTIME
 
 Makefile.am:
-lib_SOURCES += gettime.c
 
 Include:
+#include "timespec.h"
 
 License:
 GPL
 
 Maintainer:
 Paul Eggert, Jim Meyering
-