diff --git a/Makefile b/Makefile index 945cb8a8a3b13091b6dd88442504ce8cf92b6489..5e4bbb4090aa12cba9d5ceef2b20509125e291ef 100644 --- a/Makefile +++ b/Makefile @@ -6,8 +6,8 @@ all: clean: @for i in $(DIRS) ; do $(MAKE) -C $$i clean ; done ; - @if [ -d $(BINDIR) ] ; \ - then rmdir --ignore-fail-on-non-empty $(BINDIR) ; \ + -@if [ -d $(BINDIR) ] ; \ + then rmdir $(BINDIR) ; \ fi doc: