diff options
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/incpath.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 20a608fe51b..178b31dbb52 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2010-09-15 Ian Lance Taylor <iant@google.com> + + * incpath.c (remove_duplicates): If name is not a directory, issue + a warning rather than an error. + 2010-09-15 Martin Jambor <mjambor@suse.cz> PR middle-end/45644 diff --git a/gcc/incpath.c b/gcc/incpath.c index 9cc783f6132..91bd24154db 100644 --- a/gcc/incpath.c +++ b/gcc/incpath.c @@ -239,7 +239,7 @@ remove_duplicates (cpp_reader *pfile, struct cpp_dir *head, } } else if (!S_ISDIR (st.st_mode)) - cpp_error_with_line (pfile, CPP_DL_ERROR, 0, 0, + cpp_error_with_line (pfile, CPP_DL_WARNING, 0, 0, "%s: not a directory", cur->name); else { |