/* Provide a sys/times.h header file.
- Copyright (C) 2008-2010 Free Software Foundation, Inc.
+ Copyright (C) 2008-2011 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
/* This file is supposed to be used on platforms where <sys/times.h>
is missing. */
-#ifndef _GL_SYS_TIMES_H
+#ifndef _@GUARD_PREFIX@_SYS_TIMES_H
# if __GNUC__ >= 3
@PRAGMA_SYSTEM_HEADER@
# @INCLUDE_NEXT@ @NEXT_SYS_TIMES_H@
# endif
-# define _GL_SYS_TIMES_H
+# define _@GUARD_PREFIX@_SYS_TIMES_H
/* Get clock_t.
But avoid namespace pollution on glibc systems. */
# endif
# if !@HAVE_STRUCT_TMS@
+# if !GNULIB_defined_struct_tms
/* Structure describing CPU time used by a process and its children. */
struct tms
{
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@
}
# endif
-#endif /* _GL_SYS_TIMES_H */
+#endif /* _@GUARD_PREFIX@_SYS_TIMES_H */