diff options
Diffstat (limited to 'lib/Makefile.in')
-rw-r--r-- | lib/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Makefile.in b/lib/Makefile.in index ac32c7070f3..12a1be705f6 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -126,6 +126,9 @@ distclean bootstrap-clean: mostlyclean rm -fr $(DEPDIR) maintainer-clean: distclean rm -f TAGS gnulib.mk +extraclean: distclean + -[ -d sys ] && rmdir --ignore-fail-on-non-empty sys + .PHONY: mostlyclean clean distclean bootstrap-clean maintainer-clean # Tell versions [3.59,3.63) of GNU make to not export all variables. |