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 b2b62733f7..e0b72f1546 100644 --- a/Makefile.in +++ b/Makefile.in @@ -405,7 +405,7 @@ clean-ext distclean-ext realclean-ext:: @cd ext 2>/dev/null || exit 0; set dummy `echo "${EXTS}" | tr , ' '`; shift; \ test "$$#" = 0 && set .; \ set dummy `\ - find "$$@" -name Makefile -print | sed 's:^\./::;s:/Makefile$$:~:' | sort | sed 's:~$$::'; \ + find "$$@" -name Makefile -print | sed 's:^\./::;s:/Makefile$$::' | sort; \ `; shift; \ cd ..; \ for dir do \ |