Index: Makefile.inc1 =================================================================== --- Makefile.inc1 +++ Makefile.inc1 @@ -3212,7 +3212,7 @@ .if !defined(BATCH_DELETE_OLD_FILES) RM_I=-i .else -RM_I=-v +RM_I=-fv .endif list-old-files: .PHONY