diff options
Diffstat (limited to 'lib')
| -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 | |||
| 126 | rm -fr $(DEPDIR) | 126 | rm -fr $(DEPDIR) |
| 127 | maintainer-clean: distclean | 127 | maintainer-clean: distclean |
| 128 | rm -f TAGS gnulib.mk | 128 | rm -f TAGS gnulib.mk |
| 129 | extraclean: distclean | ||
| 130 | -[ -d sys ] && rmdir --ignore-fail-on-non-empty sys | ||
| 131 | |||
| 129 | .PHONY: mostlyclean clean distclean bootstrap-clean maintainer-clean | 132 | .PHONY: mostlyclean clean distclean bootstrap-clean maintainer-clean |
| 130 | 133 | ||
| 131 | # Tell versions [3.59,3.63) of GNU make to not export all variables. | 134 | # Tell versions [3.59,3.63) of GNU make to not export all variables. |