diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 7873f69ba6..674fdeff44 100644 --- a/Makefile.in +++ b/Makefile.in @@ -229,10 +229,6 @@ distclean-local:: distclean-rdoc: @$(RMALL) $(RDOCOUT:/=\) -distclean: - @-rmdir $(EXTOUT)/$(arch) - @-rmdir $(EXTOUT) - clean-ext distclean-ext realclean-ext:: @set dummy ${EXTS}; shift; \ if test "$$#" = 0; then \ |