/* 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
+
# if __GNUC__ >= 3
@PRAGMA_SYSTEM_HEADER@
# endif
-
-#ifndef _GL_SYS_TIMES_H
+@PRAGMA_COLUMNS@
# if @HAVE_SYS_TIMES_H@
# @INCLUDE_NEXT@ @NEXT_SYS_TIMES_H@