From 8a24a8f000ac66f242431c9a5dbcad40873d687f Mon Sep 17 00:00:00 2001 From: Martin Lenders Date: Fri, 24 May 2013 15:13:31 +0200 Subject: [PATCH] Use rm -rf instead of rmdir This way make clean runs more... cleanly --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1100e9a6ae..27df73ed17 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ all: clean: @for i in $(DIRS) ; do "$(MAKE)" -C $$i clean ; done ; -@if [ -d $(BINDIR) ] ; \ - then rmdir $(BINDIR) ; \ + then rm -rf $(BINDIR) ; \ fi doc: