*** empty log message ***

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@1140 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 4 insertions, 1 deletions

diff --git a/gcc/cccp.c b/gcc/cccp.c
index f0ce06ffacb..0dbf5f866f4 100644
--- a/gcc/cccp.c
+++ b/gcc/cccp.c
@@ -5838,7 +5838,10 @@ do_pragma (buf, limit)
   while (*buf == ' ' || *buf == '\t')
     buf++;
   if (!strncmp (buf, "once", 4)) {
-    warning ("`#pragma once' is obsolete");
+    /* Allow #pragma once in system headers, since that's not the user's
+       fault.  */
+    if (!instack[indepth].system_header_p)
+      warning ("`#pragma once' is obsolete");
     do_once ();
   }
   return 0;