X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Ftime_r;h=a0ec5cd005b570f674ca154b936d778a41d2a0ac;hb=3ac9552429c5a500717e1d3d129c32f7d0ea37a3;hp=96df2f781556d3882f9b1021fb8fef9bd8462dc8;hpb=4bc8b69ccf12c40ba0eec577b18e24bdd3cbc945;p=pspp

diff --git a/modules/time_r b/modules/time_r
index 96df2f7815..a0ec5cd005 100644
--- a/modules/time_r
+++ b/modules/time_r
@@ -3,11 +3,11 @@ Reentrant time functions like localtime_r.
 
 Files:
 lib/time_r.c
-lib/time_r.h
 m4/time_r.m4
 
 Depends-on:
 extensions
+time
 
 configure.ac:
 gl_TIME_R
@@ -15,7 +15,7 @@ gl_TIME_R
 Makefile.am:
 
 Include:
-"time_r.h"
+<time.h>
 
 License:
 LGPL