diff options
Diffstat (limited to 'gnulib/lib/sys_time.in.h')
| -rw-r--r-- | gnulib/lib/sys_time.in.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnulib/lib/sys_time.in.h b/gnulib/lib/sys_time.in.h index d97c08bd7..2b4bfdd75 100644 --- a/gnulib/lib/sys_time.in.h +++ b/gnulib/lib/sys_time.in.h @@ -1,6 +1,6 @@ /* Provide a more complete sys/time.h. - Copyright (C) 2007 Free Software Foundation, Inc. + Copyright (C) 2007-2008 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by @@ -18,6 +18,10 @@ /* Written by Paul Eggert. */ +#if __GNUC__ >= 3 +@PRAGMA_SYSTEM_HEADER@ +#endif + #if defined _GL_SYS_TIME_H /* Simply delegate to the system's header, without adding anything. */ |