diff --git a/Makefile.inc1 b/Makefile.inc1
index 03f98b641911..f509208d045f 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -3216,7 +3216,7 @@ specific library."
 .if !defined(BATCH_DELETE_OLD_FILES)
 RM_I=-i
 .else
-RM_I=-v
+RM_I=-fv
 .endif
 
 list-old-files: .PHONY