X-Git-Url: https://git.gag.com/?a=blobdiff_plain;ds=sidebyside;f=lib%2Fsys_time.in.h;h=2a552e143cb54df8c09eb81bff3dc59a6c44e068;hb=cf7169a2ede9bb08b71de68fe0c8bbecf827abe6;hp=6426793d39a870a2f7cc0d5e0b5167ff3b6b5d0c;hpb=138fc7e67e3d9845cd7d81aad0e9c7724784f9b9;p=debian%2Ftar

diff --git a/lib/sys_time.in.h b/lib/sys_time.in.h
index 6426793d..2a552e14 100644
--- a/lib/sys_time.in.h
+++ b/lib/sys_time.in.h
@@ -2,7 +2,7 @@
 /* DO NOT EDIT! GENERATED AUTOMATICALLY! */
 /* 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 General Public License as published by
@@ -20,6 +20,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.  */