* let Make ignore non-empty directories on deleting (instead of letting rmdir ignore it)

2024-12-29 04:50:03 +01:00 · 2013-03-27 16:10:28 +01:00 · 2013-03-27 16:10:28 +01:00 · 990b199d08
commit 990b199d08
parent e8af0c42c3
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -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: