X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Fsys_times_h.m4;h=508a3bf0338ad2841e98a1e2faff95d87fa4c298;hb=eba8aa98605df75d35d0f70f516847f3ddec26d0;hp=f60b1faa6d9443e92442f39e9347e708979730fa;hpb=da857f5cfa81cb721e9afae50e153ed26744bb93;p=pspp

diff --git a/m4/sys_times_h.m4 b/m4/sys_times_h.m4
index f60b1faa6d..508a3bf033 100644
--- a/m4/sys_times_h.m4
+++ b/m4/sys_times_h.m4
@@ -1,7 +1,7 @@
 # Configure a replacement for <sys/times.h>.
-# serial 6
+# serial 7
 
-# Copyright (C) 2008, 2009, 2010 Free Software Foundation, Inc.
+# Copyright (C) 2008-2011 Free Software Foundation, Inc.
 # This file is free software; the Free Software Foundation
 # gives unlimited permission to copy and/or distribute it,
 # with or without modifications, as long as this notice is preserved.
@@ -30,7 +30,7 @@ AC_DEFUN([gl_SYS_TIMES_H],
   dnl corresponding gnulib module is not in use.
   gl_WARN_ON_USE_PREPARE([[
 /* Some systems have incomplete headers.  */
-#ifndef __GLIBC__
+#if !(defined __GLIBC__ && !defined __UCLIBC__)
 # include <time.h>
 #endif
 #include <sys/times.h>