From b950197da1e0a53c7d220dd666ff3afbb61a1f18 Mon Sep 17 00:00:00 2001
From: "Anthony J. Bentley" <anthony@cathet.us>
Date: Fri, 4 Apr 2014 16:39:03 -0600
Subject: [PATCH] Remove non-POSIX 'rm -v'.

---
 Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 45bdc47ac..69fbf5222 100644
--- 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