diff options
author | Richard Stallman <rms@gnu.org> | 1992-06-02 21:09:25 +0000 |
---|---|---|
committer | Richard Stallman <rms@gnu.org> | 1992-06-02 21:09:25 +0000 |
commit | 71c4681d83fa439d3c618a460361936029a79887 (patch) | |
tree | f73d49a65c75d1d92c88bfba9d99c3d76ada6a21 | |
parent | a2ff7f8c357521842cf3525be4007dc10ea671a3 (diff) | |
download | gcc-71c4681d83fa439d3c618a460361936029a79887.zip gcc-71c4681d83fa439d3c618a460361936029a79887.tar.gz gcc-71c4681d83fa439d3c618a460361936029a79887.tar.bz2 |
*** empty log message ***
From-SVN: r1140
-rw-r--r-- | gcc/cccp.c | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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; |