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: