diff options
| author | Glenn Morris <rgm@gnu.org> | 2021-05-10 13:31:08 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2021-05-10 13:31:08 -0700 |
| commit | 28bed069a7cc0f9d6937276b5a1eec949abc280a (patch) | |
| tree | b1566007ef51797a1a4d9afafe7da358047fcc05 /lib | |
| parent | 9117b42e68c9241d4a420e48cbdf46c50ea31764 (diff) | |
| download | emacs-28bed069a7cc0f9d6937276b5a1eec949abc280a.tar.gz | |
* lib/Makefile.in (maintainer-clean): Fully ignore rmdir errors.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Makefile.in b/lib/Makefile.in index 825b3131d59..6c7a4430999 100644 --- 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 |