diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index ee2f2b5e1f..02cfa1c3e7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -259,11 +259,11 @@ distclean-rdoc: clean-ext distclean-ext realclean-ext:: @cd ext 2>/dev/null || exit 0; set dummy `echo "${EXTS}" | tr , ' '`; shift; \ test "$$#" = 0 && set .; \ - set dummy `for dir in "$$@"; do \ + set dummy `for dir do \ find $$dir -name Makefile | sed 's:^\./::;s:/Makefile$$:~:' | sort | sed 's:~$$::'; \ done`; shift; \ cd ..; \ - for dir in "$$@"; do \ + for dir do \ echo $(@:-ext=)ing "$$dir"; \ (cd "ext/$$dir" && exec $(MAKE) $(MFLAGS) $(@:-ext=)) && \ case "$@" in \ |