Formerly file.c.~14~

diff --git a/file.c b/file.c
index 85a967b..6f86812 100644 (file)
--- a/file.c
+++ b/file.c
@@ -290,7 +290,7 @@ remove_intermediates (sig)
            {
              if (sig)
                error ("*** Deleting file `%s'", f->name);
-             else if (!silent_flag && !just_print_flag)
+             else if (!silent_flag)
                {
                  if (!doneany)
                    {