Support non-blocking pipe I/O in write() on native Windows.

[pspp] / lib / sys_times.in.h

diff --git a/lib/sys_times.in.h b/lib/sys_times.in.h
index 73e13eaa80902022d06d07ee362a6233e30aa336..7b661408a7fb4db894b7abbef146ad32167c144a 100644 (file)
--- a/lib/sys_times.in.h
+++ b/lib/sys_times.in.h
@@ -48,6 +48,7 @@ extern "C" {
 # endif
 
 # if !@HAVE_STRUCT_TMS@
+#  if !GNULIB_defined_struct_tms
   /* Structure describing CPU time used by a process and its children.  */
   struct tms
   {
@@ -57,6 +58,8 @@ extern "C" {
     clock_t tms_cutime;         /* User CPU time of dead children.  */
     clock_t tms_cstime;         /* System CPU time of dead children.  */
   };
+#   define GNULIB_defined_struct_tms 1
+#  endif
 # endif
 
 # if @GNULIB_TIMES@