Remove non-POSIX 'rm -v'.

diff --git a/Makefile b/Makefile
index 45bdc47acd7ba62bd069218c0136a195b958f517..69fbf5222d744b674998204734db5360b16997d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -176,11 +176,11 @@ manual: $(TARGETS) $(EXTRA_TARGETS)
        cd manual && bash manual.sh
 
 clean:
-       rm -rvf share
+       rm -rf share
        cd manual && bash clean.sh
-       rm -vf $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS)
-       rm -vf kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
-       rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
+       rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS)
+       rm -f kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
+       rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
        test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
 
 mrproper: clean