From 990b199d0884a1843a4fbb93eeea2ddb34a87bc7 Mon Sep 17 00:00:00 2001 From: Oleg Hahm Date: Wed, 27 Mar 2013 16:10:28 +0100 Subject: [PATCH] * let Make ignore non-empty directories on deleting (instead of letting rmdir ignore it) --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 945cb8a8a3..5e4bbb4090 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: