diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cppfiles.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index bad634c6b02..9b72fc72f8a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-02-16 Neil Booth <neil@daikokuya.demon.co.uk> + + * cppfiles.c (_cpp_make_system_header): Generate a file + change callback. + 2001-02-15 Jim Meyering <meyering@lucent.com> * Makefile.in (install-common): Don't depend on installdirs here. diff --git a/gcc/cppfiles.c b/gcc/cppfiles.c index 01b8d5fb6ae..1c414451526 100644 --- a/gcc/cppfiles.c +++ b/gcc/cppfiles.c @@ -530,6 +530,8 @@ cpp_make_system_header (pfile, syshdr, externc) if (syshdr) flags = 1 + (externc != 0); pfile->buffer->sysp = flags; + _cpp_do_file_change (pfile, FC_RENAME, pfile->buffer->nominal_fname, + pfile->buffer->lineno); } /* Report on all files that might benefit from a multiple include guard. |
