diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index e3a8fc6955..926b82b424 100644 --- a/Makefile.in +++ b/Makefile.in @@ -228,7 +228,11 @@ clean-ext distclean-ext realclean-ext:: dir=`dirname "$$mk"`; \ echo $(@:-ext=)ing `expr "$$dir" : 'ext/\(.*\)'`; \ (cd "$$dir"; $(MAKE) $(MFLAGS) $(@:-ext=)) && \ - test $@ != clean-ext && rmdir -p "$$dir" 2> /dev/null; \ + if [ $@ == clean-ext ]; then \ + true; \ + else \ + rmdir -p "$$dir" 2> /dev/null; \ + fi; \ done ext/extinit.$(OBJEXT): ext/extinit.c $(SETUP) |