summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 25e7ddc..e949655 100644
--- a/Makefile
+++ b/Makefile
@@ -80,7 +80,7 @@ ECHO = @echo
LN = @ln -sf
MKDIR = @mkdir -p
RM = @rm -f
-RMDIR = @rmdir -p
+RMDIR = @rmdir -p --ignore-fail-on-non-empty
# named targets