From: Jim Meyering <jim@meyering.net>
Date: Wed, 23 Mar 2005 11:51:30 +0000 (+0000)
Subject: (Files): Add lib/gethrxtime.h.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c450385b5766956abef681b37443c902ee248815;p=pspp

(Files): Add lib/gethrxtime.h.
---

diff --git a/modules/gethrxtime b/modules/gethrxtime
index 32984f4924..b09ec2c334 100644
--- a/modules/gethrxtime
+++ b/modules/gethrxtime
@@ -4,6 +4,7 @@ Get high resolution real time.
 Files:
 lib/xtime.h
 lib/gethrxtime.c
+lib/gethrxtime.h
 m4/gethrxtime.m4
 m4/clock_time.m4
 m4/longlong.m4