diff options
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/coverage.c | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e88617c..ebea733 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-12-13 Jan Hubicka <jh@suse.cz> + + * coverage.c (get_coverage_counts): Use inform instead of warning + about missing profile. + 2003-12-12 Steven Bosscher <stevenb@suse.de> * Makefile.in (opts.o, explow.o): Depend on langhooks.h diff --git a/gcc/coverage.c b/gcc/coverage.c index b02c97c..9e25413 100644 --- a/gcc/coverage.c +++ b/gcc/coverage.c @@ -306,8 +306,8 @@ get_coverage_counts (unsigned counter, unsigned expected, static int warned = 0; if (!warned++) - warning ("file %s not found, execution counts assumed to be zero", - da_file_name); + inform ("file %s not found, execution counts assumed to be zero", + da_file_name); return NULL; } |