X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Ftime_h.m4;h=3f543a15a7b1c12532d766119a167b622130af3e;hb=b6a9d33ee89de0a0f7bf482449339e97cbbbdaef;hp=e90ed7ac374315f6811d4c4901e746188037d16b;hpb=11dbc24bbfd94e0e8d36754fe17bb1fdeb58fe5e;p=pspp

diff --git a/m4/time_h.m4 b/m4/time_h.m4
index e90ed7ac37..3f543a15a7 100644
--- a/m4/time_h.m4
+++ b/m4/time_h.m4
@@ -20,9 +20,7 @@ AC_DEFUN([gl_HEADER_TIME_H_BODY],
 [
   AC_REQUIRE([AC_C_RESTRICT])
   AC_REQUIRE([gl_HEADER_TIME_H_DEFAULTS])
-  gl_ABSOLUTE_HEADER([time.h])
-  ABSOLUTE_TIME_H=\"$gl_cv_absolute_time_h\"
-  AC_SUBST([ABSOLUTE_TIME_H])
+  gl_CHECK_NEXT_HEADERS([time.h])
   AC_REQUIRE([gl_CHECK_TYPE_STRUCT_TIMESPEC])
 ])