1 files changed, 1 insertions, 0 deletions

diff --git a/lib/Makefile.in b/lib/Makefile.in
index bf9b01f1437..1973452b223 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -127,6 +127,7 @@ distclean bootstrap-clean: mostlyclean
 maintainer-clean: distclean
         rm -f TAGS gnulib.mk
 extraclean: distclean
+        -rmdir sys 2>/dev/null
 
 .PHONY: mostlyclean clean distclean bootstrap-clean maintainer-clean