* lib/Makefile.in (maintainer-clean): Fully ignore rmdir errors.

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 825b3131d5999f9a0b17ecf34d8e9cf823abc9b6..6c7a443099990527aa9e1378bceb053ae4231086 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -113,7 +113,7 @@ distclean bootstrap-clean: mostlyclean
        rm -fr $(DEPDIR)
 maintainer-clean: distclean
        rm -f TAGS gnulib.mk
-       -rmdir malloc sys 2>/dev/null
+       -rmdir malloc sys 2>/dev/null || true
 
 .PHONY: mostlyclean clean distclean bootstrap-clean maintainer-clean