diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index d91b42ed57..d5a3c3d459 100644 --- a/Makefile.in +++ b/Makefile.in @@ -432,7 +432,7 @@ clean-ext distclean-ext realclean-ext:: -$(Q)$(RM) ext/extinit.$(OBJEXT) distclean-ext realclean-ext:: - -$(Q)$(RM) ext/extinit.c + -$(Q)$(RM) ext/extinit.c ext/configure-ext.mk ext/*/exts.mk -$(Q)$(RMDIR) ext 2> /dev/null || true clean-extout: |