Formerly file.c.~25~

diff --git a/file.c b/file.c
index 1501af9ab8286bac0be56296a7096cd3ce06de93..39a8bc7a45fdf034304a679049903ba2ca5f40c1 100644 (file)
--- a/file.c
+++ b/file.c
@@ -312,7 +312,7 @@ remove_intermediates (sig)
          if (!f->dontcare)
            {
              if (sig)
-               error ("*** Deleting file `%s'", f->name);
+               error ("*** Deleting intermediate file `%s'", f->name);
              else if (!silent_flag)
                {
                  if (! doneany)